Erlang/OTP Publications

This page contains publications that relate or refer to Erlang/OTP.

Please see also the Erlang User Conferences or the ACM SIGPLAN Erlang Workshops.

Publications

2005 2004 2003 2002 2001 2000 1999 1998 1997 1996 1995 1994 1993 1992 1990

2005:

Robust Reconfigurable Erlang Component System.
Gabor Batori, Zoltan Theisz and Domonkos Asztalos.
Eleventh International Erlang/OTP User Conference.
Stockholm, November 10, 2005.

eXAT: Software Agents in Erlang.
Corrado Santoro.
Eleventh International Erlang/OTP User Conference.
Stockholm, November 10, 2005.

A Virtual World Distributed Server developed in Erlang as a Tool for analysing Needs of Massively Multiplayer Online Game Servers.
Michal Slaski.
Eleventh International Erlang/OTP User Conference.
Stockholm, November 10, 2005.

Performance Measurement and Applications Benchmarking with Erlang.
Mickaël Rémond.
Eleventh International Erlang/OTP User Conference.
Stockholm, November 10, 2005.

Third Party Gateway.
Chandrashekhar Mullaparthi.
Eleventh International Erlang/OTP User Conference.
Stockholm, November 10, 2005.

gtkNode - Yet Another GUI Framework for Erlang.
Mats Cronqvist.
Eleventh International Erlang/OTP User Conference.
Stockholm, November 10, 2005.

wxErlang.
Mats-Ola Persson.
Eleventh International Erlang/OTP User Conference.
Stockholm, November 10, 2005.

e-TopUp.
Eduardo Figoli, Bernardo Paroli and Carlos E. Silva.
Eleventh International Erlang/OTP User Conference.
Stockholm, November 10, 2005.

Teaching Functional Programming and Erlang.
Victor M. Gulias.
Eleventh International Erlang/OTP User Conference.
Stockholm, November 10, 2005.

Bit-Level Binaries and Generalized Comprehensions in Erlang.
Per Gustafsson and Konstantinos Sagonas.
4th ACM SIGPLAN Erlang Workshop.
Tallinn, Estonia, September 25, 2005.
Also presented at
Eleventh International Erlang/OTP User Conference.
Stockholm, November 10, 2005.

Concurrent Erlang Flow Graphs.
Manfred Widera.
Eleventh International Erlang/OTP User Conference.
Stockholm, November 10, 2005.

Structured Network Programming.
Ulf Wiger.
Eleventh International Erlang/OTP User Conference.
Stockholm, November 10, 2005.

A Semantics for Distributed Erlang.
Koen Claessen and Hans Svensson.
4th ACM SIGPLAN Erlang Workshop.
Tallinn, Estonia, September 25, 2005.

ERESYE: Artificial Intelligence in Erlang Programs.
Antonella Di Stefano, Francesca Gangemi, and Corrado Santoro.
4th ACM SIGPLAN Erlang Workshop.
Tallinn, Estonia, September 25, 2005.

Modeling Erlang in the Pi-Calculus.
Thomas Noll and Chanchal Kumar Roy.
4th ACM SIGPLAN Erlang Workshop.
Tallinn, Estonia, September 25, 2005.

A High Performance Erlang TCP/IP Stack.
Javier Paris, Alberto Valderruten, and Victor Gulias.
4th ACM SIGPLAN Erlang Workshop.
Tallinn, Estonia, September 25, 2005.

Remote Controlling Devices using Instant Messaging.
Simon Aurell.
4th ACM SIGPLAN Erlang Workshop.
Tallinn, Estonia, September 25, 2005.

Verifying Fault Tolerant Erlang Programs.
Clara Benac Earle, Lars-Ĺke Fredlund, and John Derrick.
4th ACM SIGPLAN Erlang Workshop.
Tallinn, Estonia, September 25, 2005.

A New Leader Election Implementation.
Hans Svensson and Thomas Arts.
4th ACM SIGPLAN Erlang Workshop.
Tallinn, Estonia, September 25, 2005.

A Stream Library using Erlang Binaries.
Jay Nelson.
4th ACM SIGPLAN Erlang Workshop.
Tallinn, Estonia, September 25, 2005.

TypEr: A Type Annotator of Erlang Code.
Tobias Lindahl and Konstantinos Sagonas.
4th ACM SIGPLAN Erlang Workshop.
Tallinn, Estonia, September 25, 2005.

Atom Garbage Collection.
Thomas Lindgren.
4th ACM SIGPLAN Erlang Workshop.
Tallinn, Estonia, September 25, 2005.

2004:

Erlang's Exception Handling Revisited.
Richard Carlsson, Björn Gustavsson and Patrik Nyblom.
3rd ACM SIGPLAN Erlang Workshop.
Snowbird, Utah, USA, September 22, 2004.
Also presented at
10th International Erlang/OTP User Conference.
Stockholm, October 21, 2004.

Synapse DMC, liberating the mobile internet!
Per Bergqvist.
10th International Erlang/OTP User Conference.
Stockholm, October 21, 2004.

ErlGuten.
Joe Armstrong.
10th International Erlang/OTP User Conference.
Stockholm, October 21, 2004.

In the need of a design... reverse engineering Erlang software.
Thomas Arts and Cecilia Holmqvist.
10th International Erlang/OTP User Conference.
Stockholm, October 21, 2004.

An WTLS implementation.
Johan Blom and Göran Oettinger.
10th International Erlang/OTP User Conference.
Stockholm, October 21, 2004.

SERVAL: a VLAN software switch developed in Erlang.
Alejandro García Castro and Juan José Sánchez Penas.
10th International Erlang/OTP User Conference.
Stockholm, October 21, 2004.

Dialyzer (DIscrepancy AnaLYZer of ERlang programs).
Tobias Lindahl and Kostis Sagonas.
10th International Erlang/OTP User Conference.
Stockholm, October 21, 2004.

Messaging with Erlang and Jabber.
Mickaël Rémond.
10th International Erlang/OTP User Conference.
Stockholm, October 21, 2004.

Proposal for an Erlang foundation.
Mickaël Rémond.
10th International Erlang/OTP User Conference.
Stockholm, October 21, 2004.

Building ground support equipments with Erlang.
Jouni Rynö.
10th International Erlang/OTP User Conference.
Stockholm, October 21, 2004.

Learning Erlang and developing a SIP server/stack with 30k potential users.
Fredrik Thulin.
10th International Erlang/OTP User Conference.
Stockholm, October 21, 2004.

Trouble Shooting a Large Erlang System.
Mats Cronqvist.
3rd ACM SIGPLAN Erlang Workshop.
Snowbird, Utah, USA, September 22, 2004.

Monitoring and State Transparency of Distributed Systems.
Martin Logan.
3rd ACM SIGPLAN Erlang Workshop.
Snowbird, Utah, USA, September 22, 2004.

HiPE on AMD64.
Daniel Luna, Mikael Pettersson and Konstantinos Sagonas.
3rd ACM SIGPLAN Erlang Workshop.
Snowbird, Utah, USA, September 22, 2004.

An External Short Message Entity for Gambling Services.
Enrique Marcote, Daniel Iglesia and Carlos Escudero.
3rd ACM SIGPLAN Erlang Workshop.
Snowbird, Utah, USA, September 22, 2004.

Structured Programming Using Processes.
Jay Nelson.
3rd ACM SIGPLAN Erlang Workshop.
Snowbird, Utah, USA, September 22, 2004.

Flow Graphs for Testing Sequential Erlang Programs.
Manfred Widera.
3rd ACM SIGPLAN Erlang Workshop.
Snowbird, Utah, USA, September 22, 2004.

An implementation of SMB Protocol in Erlang.
Torbjörn Törnkvist.
3rd ACM SIGPLAN Erlang Workshop.
Snowbird, Utah, USA, September 22, 2004.

On Modelling Agent Systems with Erlang.
Carlos Varela, Carlos Abalde, Laura Castro and José Gulias.
3rd ACM SIGPLAN Erlang Workshop.
Snowbird, Utah, USA, September 22, 2004.

20 Years of Commercial Functional Programming.
Ulf Wiger.
International Conference on Functional Programming (ICFP).
Snowbird, Utah, USA, September 19-22, 2004.

EX11 - A GUI in a Concurrent Functional Language.
Joe Armstrong.
3rd ACM SIGPLAN Erlang Workshop.
Snowbird, Utah, USA, September 22, 2004.

2003:

A Study of Erlang ETS Table Implementation and Performance.
Scott Lystig Fritchie.
Second ACM SIGPLAN Erlang Workshop.
Uppsala, Sweden, August 29, 2003.

Parametrized Modules in Erlang.
Richard Carlsson.
Second ACM SIGPLAN Erlang Workshop.
Uppsala, Sweden, August 29, 2003.

All You Wanted to Know About the HIPE Compiler (and might have been afraid to ask).
K. Sagonas, M. Pettersson, R. Carlsson, P. Gustafsson and T. Lindahl.
Second ACM SIGPLAN Erlang Workshop.
Uppsala, Sweden, August 29, 2003.

Extending the VoDKa Architecture to Improve Resource Modeling.
Juan José Sanchez Penas and Carlos Abalde Ramiro.
Second ACM SIGPLAN Erlang Workshop.
Uppsala, Sweden, August 29, 2003.

Evaluating Distributed Functional Languages for Telecommunications Software.
J.H. Nyström, P.W.Trinder and D.J. King.
Second ACM SIGPLAN Erlang Workshop.
Uppsala, Sweden, August 29, 2003.

A Soft-typing System for Erlang.
Sven-Olof Nyström.
Second ACM SIGPLAN Erlang Workshop.
Uppsala, Sweden, August 29, 2003.

Automated Test Generation for Industrial Erlang Applications.
Johan Blom and Bengt Jonsson.
Second ACM SIGPLAN Erlang Workshop.
Uppsala, Sweden, August 29, 2003.

Armistice: An Experience Developing Management Software with Erlang.
David Cabrero, Carlos Abalde, Carlos Varela and Laura Castro.
Second ACM SIGPLAN Erlang Workshop.
Uppsala, Sweden, August 29, 2003.

2002:

HELGA - A Call Load Generator Written in Erlang/OTP.
Anand Balagopalakrishnan and Bagirath Krishnamachari.
Eighth International Erlang/OTP User Conference.
November 19, 2002, Älvsjö, Sweden.

Distel: Distributed Emacs Lisp (for Erlang).
Luke Gorrie.
Eighth International Erlang/OTP User Conference.
November 19, 2002, Älvsjö, Sweden.

Implementing the Mobile Location Protocol: A Tale from the Trenches.
Magnus Eklund, Fredrik Linder and Thomas Lindgren.
Eighth International Erlang/OTP User Conference.
November 19, 2002, Älvsjö, Sweden.

Static Analysis of Communications in Erlang Programs.
Fabien Dagnat and Marc Pantel.
Eighth International Erlang/OTP User Conference.
November 19, 2002, Älvsjö, Sweden.

Concurrency Oriented Programming in Erlang.
Joe Armstrong.
Lightweight Languages Workshop 2002 (LL2)
MIT, Cambridge, MA, USA, November 9, 2002.

The Evolution of Erlang Drivers and the Driver Writer's Toolkit.
Scott Lystig Fritchie.
ACM SIGPLAN Erlang Workshop.
Pittsburgh, PA, USA, October 7, 2002.

Hierarchical Module Namespaces in Erlang.
Richard Carlsson.
ACM SIGPLAN Erlang Workshop.
Pittsburgh, PA, USA, October 7, 2002.

OTP in Server Farms.
Michael Bruening, Martin Logan and Hal Snyder.
ACM SIGPLAN Erlang Workshop.
Pittsburgh, PA, USA, October 7, 2002.

Getting Erlang to talk to the Outside World.
Joe Armstrong.
ACM SIGPLAN Erlang Workshop.
Pittsburgh, PA, USA, October 7, 2002.

Trace Analysis of Erlang Programs.
Thomas Arts and Lars-Åke Fredlund.
ACM SIGPLAN Erlang Workshop.
Pittsburgh, PA, USA, October 7, 2002.

Global Scheduler Properties derived from Local Restrictions.
Thomas Arts and Juan José Sánches Penas.
ACM SIGPLAN Erlang Workshop.
Pittsburgh, PA, USA, October 7, 2002.

World Class Product Certification Using Erlang.
Gösta Ask, Kent Boortz, and Ulf Wiger.
ACM SIGPLAN Erlang Workshop.
Pittsburgh, PA, USA, October 7, 2002.

On Reducing Interprocess Communication Overhead in Concurrent Programs.
Konstantinos Sagonas and Erik Stenman.
ACM SIGPLAN Erlang Workshop.
Pittsburgh, PA, USA, October 7, 2002.

2001:

The Migration from Erlang to OTP: A Case Study of a Heavy Duty TCP/IP Client-server System written in Erlang.
Francesco Cesarini and Mickaël Rémond.
Seventh International Erlang/OTP User Conference.
Stockholm, September 27, 2001.

The EC Erlang Compiler.
Maurice Castro.
Seventh International Erlang/OTP User Conference.
Stockholm, September 27, 2001.

An Erlang-based Hierarchical Distributed VoD System.
Miguel Barreiro, José L. Freire, Víctor M. Gulías, Javier Mosquera, and Juan J. Sánchez.
Seventh International Erlang/OTP User Conference.
Stockholm, September 27, 2001.

Development of a Verified Erlang Program for Resource Locking.
Thomas Arts and Clara Benac Earle.
Seventh International Erlang/OTP User Conference.
Stockholm, September 27, 2001.

Erlang in the Corelatus MTP2 Signalling Gateway.
Matthias Läng.
Seventh International Erlang/OTP User Conference.
Stockholm, September 27, 2001.

Erlang Specification Method - A Tool for the Graphical Specification of Distributed Systems.
Frank Huch.
Seventh International Erlang/OTP User Conference.
Stockholm, September 27, 2001.

Cross-Module Optimization of Erlang.
Thomas Lindgren.
Seventh International Erlang/OTP User Conference.
Stockholm, September 27, 2001.

Invited Erlang Tutorial.
Joe Armstrong.
Erlang Workshop.
Principles, Logics, and Implementations of High-level Programming Languages.
Florence, September 2, 2001.

Parallel Model Checking Tool tailored to Erlang.
Martin Leucker and Thomas Noll.
Erlang Workshop.
Principles, Logics, and Implementations of High-level Programming Languages.
Florence, September 2, 2001.

A Case for the Unified Heap Approach to Erlang Memory Management.
Marc Feeley.
Erlang Workshop.
Principles, Logics, and Implementations of High-level Programming Languages.
Florence, September 2, 2001.

An Introduction to Core Erlang.
Richard Carlsson.
Erlang Workshop.
Principles, Logics, and Implementations of High-level Programming Languages.
Florence, September 2, 2001.

Extracting the Process Structure of Erlang Applications.
Jan Nyström and Bengt Jonsson.
Erlang Workshop.
Principles, Logics, and Implementations of High-level Programming Languages.
Florence, September 2, 2001.

Building the Next Generation Web Services with Erlang: Scalability and High Availability at Stake.
Mickaël Rémond.
Erlang Workshop.
Principles, Logics, and Implementations of High-level Programming Languages.
Florence, September 2, 2001.

A Model for Analyzing Erlang Software from a Code Change Perspective.
Lennart Öhman.
Erlang Workshop.
Principles, Logics, and Implementations of High-level Programming Languages.
Florence, September 2, 2001.

Exploiting Sequential Libraries on a Cluster of Computers.
Miguel Barreiro, José Luis Freire, Victor M Gulias and Juan J Sanchez.
Erlang Workshop.
Principles, Logics, and Implementations of High-level Programming Languages.
Florence, September 2, 2001.

Development of a Verified Erlang Program for Resource Locking.
Thomas Arts and Clara Benac Earle.
6th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'01),
Paris, July 2001.

Introducing Concurrent Functional Programming in the Telecommunications Industry.
Bjarne Däcker.
IFIP TC8 WG8.6 Fourth Working Conference on Diffusing Software Product and Process Innovations,
April 7-10, 2001, Banff, Canada.

Four-fold Increase in Productivity and Quality.
Ulf Wiger.
Workshop on Formal Design of Safety Critical Embedded Systems.
March 21-23, 2001, Munich.

Verification of Erlang Processes by Dependency Pairs.
Thomas Arts and Jürgen Giesl.
Journal of Applicable Algebra in Engineering, Communication and Computing 12, Issue 1/2 (2001) pp. 39-72.
Also available on LINK at http://link.springer.de.

2000:

HiPE: A High-Performance Erlang System.
E. Johansson, M. Pettersson, and K. Sagonas.
2nd International Conference on Principles and Practice of Declarative Programming.
Montreal, Canada, September 20-22, 2000.

Verifying Generic Erlang Client-Server Implementations.
Thomas Arts and Thomas Noll.
International workshop on the Implementation of Functional Languages.
Aachen, September 4-7, 2000.
Also available on LINK at http://link.springer.de.

Symbolic Program Execution using the Erlang Verification Tool.
Clara Benac Earle.
9th International Workshop on Functional and Logic Programming (WFLP'2000),
Benicassim, Spain, September 2000.

Profile-guided optimization across process boundaries.
Erik Johansson and Sten-Olof Nyström.
ACM SIGPLAN Workshop on Dynamic and Adaptive Compilation (Dynamo'00).
January 18, 2000.

Extending Erlang with Structured Module Packages.
Richard Carlsson.
Department of Information Technology.
Uppsala University.
Technical Report 2000-001. January 2000.

1999:

Extending Erlang for Safe Mobile Code Execution.
Lawrie Brown and Dan Sahlin.
The Second International conference on Information and Communication Security.
Sydney, Australia, November 1999.

Applying Rewriting Techniques to the Verification of Erlang Processes.
Thomas Arts and Jürgen Giesl.
Computer Science Logic.
Madrid, September, 1999.

Verifying a Distributed Database Lookup Manager Written in Erlang.
Thomas Arts and Mads Dam.
World Congress on Formal Methods.
Toulouse, September, 1999.

How muCRL supported a Smart Redesign of a Real-life Protocol.
Thomas Arts and Izak van Langevelde.
International workshop on Formal Methods in Industrial Critical Systems.
Trento, July, 1999.

Mnesia - A Distributed Robust DBMS for Telecommunications Applications.
Håkan Mattsson, Hans Nilsson and Claes Wikström.
First International Workshop on Practical Aspects of Declarative Languages.
San Antonio, Texas, January 18-19, 1999.

Erlang in Real Time.
Maurice Castro.
Melbourne, 1999. ISBN: 0864447434.

GPRS - General Packet Radio services.
Hĺkan Granbohm and Joakim Wiklund.
Ericsson Review No 2, 1999.

1998:

System Description: Verification of Distributed Erlang Programs.
Thomas Arts, Mads Dam, Lars-Åke Fredlund and Dilian Gurov.
Fifteenth International Conference on Automated Deduction.
Lindau, July 5-10, 1998.

Compositional Verification of Erlang Programs.
Mads Dam, Dilian Gurov and Lars-Åke Fredlund.
Third International Workshop on Formal Methods for Industrial Critical Systems.
Amsterdam, The Netherlands, May 25-26, 1998.

AXD 301 - A New generation ATM Switching System.
Staffan Blau and Jan Rooth.
Ericsson Review No 1, 1998.

ANx - High-speed Internet Access.
Michael Persson and Patrik Nilsson.
Ericsson Review No 1b, 1998.

1997:

Erlang and its Applications.
Joe Armstrong and Thomas Arts.
Workshop on Constraint Programming for Time Critical Applications.
Invited paper.
Schloss Hagenberg, Austria, October 27-28, 1997.

A Compacting Garbage Collector for Unidirectional Heaps.
Kent Boortz and Dan Sahlin.
9th International Workshop on Implementation of Functional Languages.
St Andrews, Scotland, September, 1997.

The Development of Erlang.
Joe Armstrong.
ACM SIGPLAN International Conference on Functional Programming.
Invited paper.
Amsterdam, June 9-13, 1997.

A Platform for Secure Mobile Agents.
Ing-Marie Jonsson, Dan Sahlin et al.
Practical Applications of Agents and Mobility.
London, April 21-23, 1997.

A Platform for Secure Mobile Agents.
Arthursson et. al.
Second International Conference on the Practical Application of Intelligent Agents and Multi-Agent Technology.
London, April 1997, ISBN 0 9525554 6 8.

Design Patterns for Designing Switching Software.
Joe Armstrong.
High Level Concurrent Languages.
Schloss Dagstuhl, January 20-22, 1997.

Open Telecom Platform.
Seved Torstendahl.
Ericsson Review, no 1, 1997.

1996:

Erlang - A Survey of the Language and its Industrial Applications.
Joe Armstrong.
Ninth Exhibition and Symposium on Industrial Applications of Prolog.
Tokyo, October 16-18, 1996.

Amnesia - An Industrial Deductive DBMS with Transactions and Distribution.
Hans Nilsson.
Logic Databases and the Meaning of Change.
Dagstuhl, September 23-27, 1996.

The Concurrent Functional Programming Language Erlang - An Overview.
Dan Sahlin.
Joint International Conference and Symposium on Logic Programming.
Bonn, September 2-6, 1996.

Implementing Distributed Real-time Control Systems in a Functional Language.
Claes Wikström.
IEEE Workshop on Parallel and Distributed Real-Time Systems.
Honolulu, April 15-16, 1996.

Mnesia - An Industrial DBMS with Transactions, Distribution and a Logical Query Language.
Hans Nilsson and Claes Wikström.
International Symposium on Co-operative Database Systems for Advanced Applications.
1996, Kyoto.

1995:

A Garbage Collector for the Concurrent Real-Time Language Erlang.
Robert Virding.
International Workshop on Memory Management.
Kinross, Scotland, September 27-29, 1995.

One Pass Real-Time Generational Mark-Sweep Garbage Collection.
Joe Armstrong and Robert Virding.
International Workshop on Memory Management.
Kinross, Scotland, September 27-29, 1995.

Hybrid Implementation Techniques in Erlang BEAM.
Bogumil Hausman.
12th International Conference on Logic Programming.
Kanagawa, Japan, June 13-18, 1995.

The Development and Use of Erlang. Concurrent Functional Programming in Industry.
Bjarne Däcker.
ConTel'95. Conference on Telecommunications.
June 7-9, 1995, Zagreb.

1994:

Distributed Programming in Erlang.
Claes Wikström.
First International Symposium on Parallel Symbolic Computation.
Linz, September 26-28, 1994.

Introducing Concurrent Functional Programming into the Telecommunications Industry.
Bjarne Däcker.
TELECOM'94.
September 20-22, 1994, Varna.

Turbo Erlang: Approaching the speed of C.
Bogumil Hausman.
In Implementations of Logic Programming Systems, pp. 119-135.
Kluwer Academic Publishers, 1994.

1993:

Turbo Erlang.
Bogumil Hausman.
International Logic Programming Symposium.
October 26-29, 1993, Vancouver.

Erlang.
Robert Virding.
FORTE - Sixth International Conference on Formal Description Techniques.
October 26-29, 1993, Boston.

Automatic Code Generation from SDL to a Declarative Programming Language.
Magnus Fröberg.
Sixth SDL Forum.
October 11-15, 1993, Darmstadt. Distel: Distributed Emacs Lisp (for Erlang). (ps)

Breakthrough in Software Design Productivity through the Use of Declarative Programming.
Bjarne Däcker.
Eighth World Productivity Congress.
May 23-27, 1993, Stockholm.

Control Switching Implementation of the BIPED Demonstrator.
Francisco Monfort.
Second Australian Conference on Telecommunications Software.
Sydney, 1993.

Erlang - A New Programming Language.
Bjarne Däcker.
Ericsson Review, nr 2, 1993.

Prototyping Cordless using Declarative Programming.
Ingemar Ahlberg, John-Olof Bauner and Anders Danne.
Ericsson Review, nr 2, 1993.

New Technology for Prototyping New Services.
Kerstin Ödling.
Ericsson Review, nr 2, 1993.

1992:

Prototyping Cordless using Declarative Programming.
Ingemar Ahlberg, John-Olof Bauner and Anders Danne.
XIV International Switching Symposium.
October 25-30, 1992, Yokohama.

Switching Software Architecture Prototype Using Real Time Declarative Language.
Dick Eriksson, Mats Persson and Kerstin Ödling.
XIV International Switching Symposium.
October 25-30, 1992, Yokohama.

Photonic Switching in High Capacity Networks.
M Buhgard, P Granestrand, M Lindblom and L Thylén.
XIV International Switching Symposium.
October 25-30, 1992, Yokohama.

Implementing a Functional Language for Highly Parallel Real Time Applications.
Joe Armstrong, Bjarne Däcker, Robert Virding and Mike Williams.
Software Engineering for Telecommunication Systems and Services.
March 30-April 1, 1992, Florence.

This paper describes a fast, highly portable implementation of Erlang. The paper gives examples of compilation of Erlang to abstract machine code and discusses issues involved in the implementation of the abstract machine.

Processing ASN.1 Specifications in a Declarative Language.
Claes Wikström.
Software Engineering for Telecommunication Systems and Services.
March 30-April 1, 1992, Florence.

Use of Prolog for Developing a new Programming Language.
Joe Armstrong, Robert Virding and Mike Williams.
The Practical Application of Prolog.
April 1-3, 1992, London.

This paper describes how Erlang was developed. The first implementation of Erlang was as a Prolog interpreter - this paper has the Prolog code for a simple meta-interpreter which was the basis for Erlang.

1990:

Erlang - An Experimental Telephony Programming Language.
Joe Armstrong and Robert Virding.
XIII International Switching Symposium.
May 27-June 1, 1990, Stockholm.

This is the first Erlang paper - it describes the main characteristics of the language. Observant readers will note that the Erlang syntax in this paper differs for the current syntax - this paper was written before the great syntax wars.