25 Jun
2005
25 Jun
'05
6:58 a.m.
"Ralf Lammel" <ralfla@microsoft.com> writes:
and a related paper by Jacques Garrigue, where he proposes to solve it using OCaml's polymorphic variants.
I am not sure. Is this referring to "Objective Label"? Which paper exactly?
I think it refers to http://wwwfun.kurims.kyoto-u.ac.jp/%7Egarrigue/papers/variant-reuse.ps.gz and the expression problem seems to be the one described in: http://www.daimi.au.dk/~madst/tool/papers/expression.txt Benedikt