[Haskell-cafe] Re: The "Exp -> Term a" problem (again), how
to dynamically create (polymorphic) typed terms in Haskell ??
dominic.steinitz at blueyonder.co.uk
Thu Oct 4 03:26:03 EDT 2007
Did you look at Ralf Hinze's paper Fun with Phantom Types? Dominic.
More information about the Haskell-Cafe