Compiling a Functional Language

  title={Compiling a Functional Language},
  author={Luca Cardelli},
  booktitle={LISP and Functional Programming},
This paper summarizes my experience in implementing a compiler for a functional language. The language is ML(1) [Milner 84] and the compiler was first implemented in 1980 as a personal project when I was a postgraduate student at the University of Edinburgh(2). At the time, I was familiar with programming language semantics but knew very little about compiler technology; interpreters had been my main programming concern. Major influences in the design of this compiler have been [Steele 77… CONTINUE READING
Recent Discussions
This paper has been referenced on Twitter 1 time over the past 90 days. VIEW TWEETS


Publications referenced by this paper.

Anatomy of LISP

  • J.R.Allen
  • McGraw-Hill
  • 1978
Highly Influential
7 Excerpts

Similar Papers

Loading similar papers…