[Haskell-cafe] code generation

Anatoly Yakovenko aeyakovenko at gmail.com
Tue Oct 21 21:11:50 EDT 2008


you can also write an interpreter in haskell that will typecheck using GADT's

http://www.informatik.uni-bonn.de/~ralf/publications/With.pdf

http://www.haskell.org/pipermail/haskell/2005-May/015815.html


More information about the Haskell-Cafe mailing list