Epic--A library for generating compilers

Authors:
Edwin Brady
Affiliations:
University of St Andrews, Scotland/UK
Venue:
TFP'11 Proceedings of the 12th international conference on Trends in Functional Programming
Year:
2011

Citing 12
Cited 1

Higher-order abstract syntax

PLDI '88 Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation
Cayenne—a language with dependent types

ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming
Generating Efficient Code for Lazy Functional Languages

Proceedings of the 5th ACM Conference on Functional Programming Languages and Computer Architecture
C-: A Portable Assembly Language

IFL '97 Selected Papers from the 9th International Workshop on Implementation of Functional Languages
Well-Typed Programs Can't Be Blamed

ESOP '09 Proceedings of the 18th European Symposium on Programming Languages and Systems: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
A new extraction for Coq

TYPES'02 Proceedings of the 2002 international conference on Types for proofs and programs
An llVM backend for GHC

Proceedings of the third ACM Haskell symposium on Haskell
The gentle art of levitation

Proceedings of the 15th ACM SIGPLAN international conference on Functional programming
Scrapping your inefficient engine: using partial evaluation to improve domain-specific language implementation

Proceedings of the 15th ACM SIGPLAN international conference on Functional programming
Rethinking supercompilation

Proceedings of the 15th ACM SIGPLAN international conference on Functional programming
A Tutorial Implementation of a Dependently Typed Lambda Calculus

Fundamenta Informaticae - Dependently Typed Programming
IDRIS ---: systems programming meets full dependent types

Proceedings of the 5th ACM workshop on Programming languages meets program verification

Resource-Safe systems programming with embedded domain specific languages

PADL'12 Proceedings of the 14th international conference on Practical Aspects of Declarative Languages

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.