Re: [TYPES] Types for Units-of-Measure

François Pottier <[email protected]> Mon, 9 Nov 2020 13:56:11 +0100

Newsgroups	gmane.comp.science.types
Message-ID	<[email protected]>

[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]


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
[email protected]
http://cambium.inria.fr/~fpottier/