[Haskell-cafe] Re: [Haskell] Dynamic binding

"Ralf Lammel" 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