Types for Units of Measure Andrew Kennedy Microsoft Research.
But… Why not to have a syntax built on the same principles as those of semantic composition?
Haskell Tutorial for c Programmers in English
Programming Languages Xiaojuan Cai xiaojuan/pl2015
Invariant Inference for Many-Object Systems
Type Inference
Shared Ptr
Invariant Inference for Many-Object Systems Viktor Kuncak Swiss Federal Institute of Technology, Lausanne kuncak joint work with:
CSE341: Programming Languages Lecture 26 Course Victory Lap Dan Grossman Spring 2013.