MinCaml: A simple and efficient compiler for a minimal functional language

Research output: Chapter in Book/Report/Conference proceedingConference contribution

9 Citations (Scopus)

Abstract

We present a simple compiler, consisting of only 2000 lines of ML, for a strict, impure, monomorphic, and higher-order functional language. Although this language is minimal, our compiler generates as fast code as standard compilers like Objective Caml and GCC for several applications including ray tracing, written in the optimal style of each language implementation. Our primary purpose is education at undergraduate level to convince students-as well as average programmers - that functional languages are simple and efficient.

Original languageEnglish
Title of host publicationFDPE'05 - Proceedings of the ACM SIGPLAN 2005 Workshop on Functional and Declarative Programming in Education
Pages27-38
Number of pages12
DOIs
Publication statusPublished - 2005 Dec 1
EventFDPE'05 - ACM SIGPLAN 2005 Workshop on Functional and Declarative Programming in Education - Tallin, Estonia
Duration: 2005 Sep 252005 Sep 25

Publication series

NameFDPE'05 - Proceedings of the ACM SIGPLAN 2005 Workshop on Functional and Declarative Programming in Education

Other

OtherFDPE'05 - ACM SIGPLAN 2005 Workshop on Functional and Declarative Programming in Education
CountryEstonia
CityTallin
Period05/9/2505/9/25

Keywords

  • Education
  • ML
  • Objective Caml
  • Teaching

ASJC Scopus subject areas

  • Engineering(all)

Fingerprint Dive into the research topics of 'MinCaml: A simple and efficient compiler for a minimal functional language'. Together they form a unique fingerprint.

Cite this