Using Fields and Explicit Substitutions to Implement Objects and Functions in a de Bruijn Setting.

Eduardo Bonelli Using Fields and Explicit Substitutions to Implement Objects and Functions in a de Bruijn Setting. 204-219 1999 conf/csl/1999 CSL db/conf/csl/csl99.html#Bonelli99 http://dx.doi.org/10.1007/3-540-48168-0_15