Epic—A Library for Generating Compilers

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


Compilers for functional languages, whether strict or non-strict, typed or untyped, need to handle many of the same problems, for example thunks, lambda lifting, optimisation, garbage collection, and system interaction. Although implementation techniques are by now well understood, it remains difficult for a new functional language to exploit these techniques without either implementing a compiler from scratch, or attempting to fit the new language around another existing compiler. Epic is a compiled functional language which exposes functional compilation techniques to a language implementor, with a Haskell API. In this paper we describe Epic and outline how it may be used to implement a high level language compiler, illustrating our approach by implementing compilers for the λ-calculus and a dynamically typed graphics language.
Original languageEnglish
Title of host publicationTrends in Functional Programming
Subtitle of host publication12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers
Number of pages16
ISBN (Electronic)978-3-642-32037-8
ISBN (Print)978-3-642-32036-1
Publication statusPublished - 2012
Event12th International Symposium, Trends in Functional Programming (TFP) 2011 - Madrid, Spain
Duration: 16 May 201118 May 2011

Publication series

NameLecture Notes in Computer Science
ISSN (Print)0302-9743


Conference12th International Symposium, Trends in Functional Programming (TFP) 2011


Dive into the research topics of 'Epic—A Library for Generating Compilers'. Together they form a unique fingerprint.

Cite this