[ 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/
