Erlang Workshop 2005: Tallinn, Estonia

Konstantinos F. Sagonas, Joe Armstrong (Eds.): Proceedings of the 2005 ACM SIGPLAN Workshop on Erlang, Tallinn, Estonia, September 26-28, 2005. ACM 2005, ISBN 1-59593-066-3 BibTeX

Binaries and bit stream processing

Per Gustafsson, Konstantinos F. Sagonas:
Bit-level binaries and generalized comprehensions in Erlang. 1-8
Electronic Edition (ACM DL) BibTeX
Jay Nelson:
A stream library using Erlang binaries. 9-16
Electronic Edition (ACM DL) BibTeX

Implementation

Tobias Lindahl, Konstantinos F. Sagonas:
TypEr: a type annotator of Erlang code. 17-25
Electronic Edition (ACM DL) BibTeX
Clara Benac Earle, Lars-Åke Fredlund, John Derrick:
Verifying fault-tolerant Erlang programs. 26-34
Electronic Edition (ACM DL) BibTeX
Hans Svensson, Thomas Arts:
A new leader election implementation. 35-39
Electronic Edition (ACM DL) BibTeX
Thomas Lindgren:
Atom garbage collection. 40-45
Electronic Edition (ACM DL) BibTeX

Applications

Simon Aurell:
Remote controlling devices using instant messaging: building an intelligent gateway in Erlang/OTP. 46-51
Electronic Edition (ACM DL) BibTeX
Javier París, Víctor M. Gulías, Alberto Valderruten:
A high performance Erlang Tcp/Ip stack. 52-61
Electronic Edition (ACM DL) BibTeX
Antonella Di Stefano, Francesca Gangemi, Corrado Santoro:
ERESYE: artificial intelligence in Erlang programs. 62-71
Electronic Edition (ACM DL) BibTeX

Theory

Thomas Noll, Chanchal Kumar Roy:
Modeling Erlang in the pi-calculus. 72-77
Electronic Edition (ACM DL) BibTeX
Koen Claessen, Hans Svensson:
A semantics for distributed Erlang. 78-87
Electronic Edition (ACM DL) BibTeX