[Haskell-cafe] Re: [Haskell] Dynamic binding
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