> 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/ _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe