14 Nov
2009
14 Nov
'09
2:42 p.m.
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/