[Haskell-cafe] Type-indexed expressions with fixpoint

[Pierre-Evariste Dagand]

> 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"
http://www.brics.dk/~hosc/local/HOSC-11-4-pp363-397.pdf

You might also be interested in:

"Higher-order functions considered unnecessary for higher-order
programming", by Goguen
http://portal.acm.org/citation.cfm?id=119842

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


Regards,

-- 
Pierre-Evariste DAGAND
http://perso.eleves.bretagne.ens-cachan.fr/~dagand/