From Evaluation to Interpretation

  • Gilles DowekEmail author
  • Jean-Jacques Lévy
Part of the Undergraduate Topics in Computer Science book series (UTICS)


This chapter introduces an essential notion in the implementation of programming languages: that of environment. Then it uses it to transform the evaluator built in the previous chapter into an interpretor. It finally discusses several optimizations: the use of De Bruijn indices and recursive closures.

Copyright information

© Springer-Verlag London Limited 2011

Authors and Affiliations

  1. 1.Labo. d’InformatiqueÉcole polytechniquePalaiseauFrance
  2. 2.Centre de Recherche Commun, INRIA-Microsoft ResearchParc Orsay UniversitéOrsay CedexFrance

Personalised recommendations