See this document in CiteSeerX!

An introduction to Core Erlang (2001)  (Make Corrections)  (2 citations)
Richard Carlsson



  Home/Search   Context   Related

 
View or download:
erlang.se/workshop/carlsson.ps
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  erlang.se/publications/ (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

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,... (Update)

Cited by:   More
Towards Automatic Verification of Erlang Programs by - Calculus Translation Chanchal   (Correct)
All you wanted to know about the HiPE compiler.. - Sagonas.. (2003)   (Correct)

Active bibliography (related documents):   More   All
0.4:   Type-Secure Meta-Programming - Christopher Bentley Dornan (1998)   (Correct)
0.3:   Domain-Specific Languages in Software Development - and the.. - Christensen (2003)   (Correct)
0.3:   Distel: Distributed Emacs Lisp (for Erlang) - Gorrie (2002)   (Correct)

Similar documents based on text:   More   All
1.1:   The EC Erlang Compiler - Castro (2001)   (Correct)
1.1:   SQL-compiler - Andersson (1998)   (Correct)
1.1:   Erlang User's Guide Reference Manual Version 3.2 - Armstrong, Virding, Williams (1991)   (Correct)

BibTeX entry:   (Update)

R. Carlsson. An introduction to Core Erlang. In Proceedings of the PLI'01 Erlang Workshop,Sept. 2001. http://citeseer.ist.psu.edu/carlsson01introduction.html   More

@misc{ carlsson01introduction,
  author = "R. Carlsson",
  title = "An introduction to Core Erlang",
  text = "R. Carlsson. An introduction to Core Erlang. In Proceedings of the PLI'01
    Erlang Workshop,Sept. 2001.",
  year = "2001",
  url = "citeseer.ist.psu.edu/carlsson01introduction.html" }
Citations (may not include all citations):
242   Concurrent Programming in Erlang - Virding, Williams - 1996
185   nition of Standard ML (context) - Milner, Tofte et al. - 1997
26   Implementing a functional language for highly parallel real-.. (context) - Armstrong, Dcker et al. - 1992
25   Turbo Erlang: Approaching the speed of C (context) - Hausman - 1994
8   Swedish Institute of Computer Science (context) - Dam, Fredlund et al. - 1997
7   Compiling Erlang to Scheme - Feeley, Larose - 1998
7   an interpreter for extended lambda calculus (context) - Sussman, Jr - 1975
3   Department of Information Technology (context) - Carlsson, Gustavsson et al. - 2000
3   reference manual (context) - Barklund, Virding - 1999
1   cation of Erlang programs using abstract interpretation and .. (context) - Huch - 1999

Documents on the same site (http://www.erlang.se/publications/):   More
Four-fold Increase in Productivity and Quality -.. - Wiger (2001)   (Correct)
Exploiting Sequential Libraries on a Cluster of Computers - Barreiro, Freire, Gulias, ..   (Correct)
Development of a Verified Erlang Program for Resource Locking - Arts, Earle (2001)   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC