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

[Benedikt Schmidt]

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