[TYPES] Types for Units-of-Measure

[François Pottier]

Hello,

See also Jacques Garrigue and Dara Ly's work (in French):
https://www.math.nagoya-u.ac.jp/~garrigue/papers/ocamldim.pdf

Back in the time, type inference with units of measure was
investigated by Jean Goubault, concurrently with Kennedy,
AFAIK.

E.g., also in French:
https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.40.2594&rep=rep1&type=pdf

-- 
François Pottier
francois.pottier at inria.fr
http://cambium.inria.fr/~fpottier/