[Haskell-cafe] Type-indexed expressions with fixpoint

Pierre-Evariste Dagand pedagand at gmail.com
Sat Nov 14 14:42:25 EST 2009

> Do you have the reference for Reynolds higher-order to first-order encoding.

The reference discussed here is very likely to be:

"Definitional Interpreters for Higher-Order Programming Languages"

You might also be interested in:

"Higher-order functions considered unnecessary for higher-order
programming", by Goguen

This technique is called "defunctionalization", so you will probably
find other references under that name.


Pierre-Evariste DAGAND

More information about the Haskell-Cafe mailing list