"Ralf Lammel" <[EMAIL PROTECTED]> 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 _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
