[Haskell-cafe] Type-indexed expressions with fixpoint
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.
More information about the Haskell-Cafe