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

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

10 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
EventFDPE'05 - ACM SIGPLAN 2005 Workshop on Functional and Declarative Programming in Education - Tallin, Estonia
Duration: 2005 Sept 252005 Sept 25

Publication series

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

Conference

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

Keywords

  • Education
  • ML
  • Objective Caml
  • Teaching

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