[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

Previous message: [Haskell-cafe] The "Exp -> Term a" problem (again), how to dynamically create (polymorphic) typed terms in Haskell ??
Next message: [Haskell-cafe] The "Exp -> Term a" problem (again), how to dynamically create (polymorphic) typed terms in Haskell ??
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Did you look at Ralf Hinze's paper Fun with Phantom Types? Dominic.

Previous message: [Haskell-cafe] The "Exp -> Term a" problem (again), how to dynamically create (polymorphic) typed terms in Haskell ??
Next message: [Haskell-cafe] The "Exp -> Term a" problem (again), how to dynamically create (polymorphic) typed terms in Haskell ??
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Haskell-Cafe mailing list