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

Benedikt Schmidt s_bschmi at ira.uka.de
Fri Jun 24 18:58:38 EDT 2005

"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

and the expression problem seems to be the one described in:



More information about the Haskell-Cafe mailing list