Abstract

Core Erlang is a new, o cial core language for the concurrent functional language Erlang. Core Erlang is functional, strict, dynamically typed, pattern matching, higher order and concurrent. It has been developed in cooperation between the High-Performance Erlang project at Uppsala University and the Erlang/Open Telecom Platform development team at Ericsson, and is a central component in the new release of the Erlang/OTP compiler. This paper describes the core language, its relation to Erlang, and the history of its development. We show examples of translation from Erlang to Core Erlang, illustrating how analysis and transformation of Erlang programs is greatly simplified by being performed at the core language level.

Citations

573	The Definition of Standard ML (Revised - Milner, Tofte, et al. - 1997
26	Turbo Erlang: Approaching the speed of C - Hausman - 1994
25	Implementing a Functional Language for Highly Parallel Real Time Applications - Armstrong, D��cker, et al. - 1992
20	Verification of Erlang programs using abstract interpretation and model checking - Huch - 1999
8	Compiling Erlang to Scheme - Feeley, Larose - 1998
6	On the verification of open distributed systems - Dam, Fredlund - 1998
1	Erlang 4.7.3 reference manual. Draft version 0.7 - Barklund, Virding - 1999
1	Core Erlang 1.0 language specication - Carlsson, Gustavsson, et al. - 2000
1	an interpreter for extended lambda calculus - SCHEME - 1975