[Haskell-cafe] Re: The "Exp -> Term a" problem (again), how to dynamically create (polymorphic) typed terms in Haskell ??

Dominic Steinitz 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 mailing list