  |
Four-fold Increase in Productivity and Quality - http://www.erlang.se/publications/Ulf_Wiger.pdf
Ulf Wiger. Workshop on Formal Design of Safety Critical Embedded Systems. March 21-23, 2001, Munich. |
| |
A practical subtyping system for Erlang - http://homepages.inf.ed.ac.uk/wadler/topics/erlang.html
article by Philip Wadler at 2nd International Conference on Functional Programming, Amsterdam. |
| |
Extending Erlang with structured module packages - http://www.it.uu.se/research/publications/reports/2000-001/
Richard Carlsson. Department of Information Technology, Uppsala University. Presented at EUC2000 |
| |
An Introduction to Core Erlang - http://www.erlang.se/workshop/carlsson.ps
Richard Carlsson. Principles, Logics, and Implementations of High-level Programming Languages, Florence. (ps) |
| |
HiPE Version 1.0. - http://www.erlang.se/euc/01/kostis2001/sld001.htm
Kostis Sagonas. Proceedings from EUC 2001, Stockholm. |
| |
Proposals for and Experiments with an Erlang Bit Syntax - http://www.erlang.se/euc/99/binaries.ps
Claes Wikström, Bluetail AB. Erlang User Conference, Stockholm. (ps) |
| |
Towards a Deadlock Analysis for Erlang Programs - http://www.erlang.se/publications/xjobb/0108-carlsson.ps.gz
Richard Carlsson. UU/CSD. (ps.gz) |
| |
Sendmail Meets Erlang: Experiences Using Erlang for Email Applications - http://www.jetcafe.org/~npc/doc/euc00-sendmail.html
Scott Lystig Fritchie, Jim Larson, Nick Christenson, Debi Jones, Lennart Öhman. Sixth International Erlang/OTP User Conference, Stockholm. |
| |
Building the Next Generation Web Services with Erlang: Scalability and High Availability at Stake - http://www.erlang.se/workshop/remond.ps
Mickaël Rémond. Principles, Logics, and Implementations of High-level Programming Languages, Florence. (ps) |
| |
A Case for the Unified Heap Approach to Erlang Memory Management - http://www.erlang.se/workshop/feeley.ps
Marc Feeley. Principles, Logics, and Implementations of High-level Programming Languages, Florence. (ps) |
| |
Cross-Module Optimization of Erlang. - http://www.erlang.se/euc/01/thomasl.ps
Thomas Lindgren. Proceedings from EUC 2001, Stockholm. (ps) |
| |
Extracting the Process Structure of Erlang Applications - http://www.erlang.se/workshop/nystrom.ps
Jan Nyström and Bengt Jonsson. Principles, Logics, and Implementations of High-level Programming Languages, Florence. (ps) |
| |
Parallel Model Checking Tool tailored to Erlang - http://www.erlang.se/workshop/leucker-noll.ps
Martin Leucker and Thomas Noll. Principles, Logics, and Implementations of High-level Programming Languages, Florence. (ps) |
| |
Invited Erlang Tutorial - http://www.erlang.se/workshop/armstrong.pdf
Joe Armstrong. Principles, Logics, and Implementations of High-level Programming Languages, Florence. |
| |
A Modular WAP Reference Stack Protocol Implementation - http://www.erlang.se/euc/99/WAP/index.htm
Johan Blom, Ericsson Wireless Internet AB. Erlang User Conference, Stockholm. |
| |
Towards an Event Modelling Language - http://www.erlang.se/euc/99/Event.ps
Maurice Castro, SERC, Melbourne, Australia. Erlang User Conference, Stockholm. (ps) |
| |
Status Report on the ETOS Erlang to Scheme Compiler - http://www.erlang.se/euc/99/ETOS.ps
Patrick Piché, Université de Montréal. Erlang User Conference, Stockholm. (ps) |
| |
The EC Erlang Compiler. - http://www.erlang.se/euc/01/castro2001.ps
Maurice Castro. Proceedings from EUC 2001, Stockholm. (ps) |
| |
An Experimental SIP Implementation in Erlang - http://www.erlang.se/euc/99/SIP/index.htm
Hans Nilsson, Ericsson Utvecklings AB. Erlang User Conference, Stockholm. |
| |
Erlang in the Corelatus MTP2 Signalling Gateway. - http://www.erlang.se/euc/01/corelatus2001.pdf
Matthias Läng. Proceedings from EUC 2001, Stockholm. |
| |
Welcome SMS in Erlang - Experiences of Rapid Deployment in a GSM Network. - http://www.erlang.se/euc/01/Hinde2001/sld001.htm
Sean Hinde. Proceedings from EUC 2001, Stockholm. |
| |
An Erlang-based Hierarchical Distributed VoD System - http://www.erlang.se/euc/01/barreiro2001.pdf
Miguel Barreiro, José L. Freire, Víctor M. Gulías, Javier Mosquera and Juan J. Sánchez. Proceedings from EUC 2001, Stockholm. |
| |
A High Performance Erlang System - http://user.it.uu.se/~happi/publications/p32-johansson.pdf
Erik Johansson, Mikael Pettersson and Konstantinos Sagonas. Presented at the 2nd International Conference on Principles and Practice of Declarative Programming (PPDP 2000), Montreal. |
| |
The Development of Erlang - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.34.5602
Joe Armstrong. ACM SIGPLAN International Conference on Functional Programming, Amsterdam. |
| |
Mnesia - An Industrial DBMS with Transactions, Distribution and a Logical Query Language - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.40.9844
Claes Wikström and Hans Nilsson. International Symposium on Cooperative Database Systems for Advanced Applications, Kyoto Japan. (ps.Z) |
| |
Profile-guided optimization across process boundaries - http://user.it.uu.se/~happi/hipe/oapb_dynamo.ps
Erik Johansson and Sten-Olof Nyström. CM SIGPLAN Workshop on Dynamic and Adaptive Compilation. (ps) |
| |
The migration from Erlang to OTP: A case study of a heavu duty TCP/IP client - server application written in Erlang. - http://www.erlang-consulting.com/euc2001/index.htm
Mickaël Rémond, Francesco Cesarini. Proceedings from EUC2001, Stockholm. |
| |
A Model for Analyzing Erlang Software from a Code Change Perspective - http://www.erlang.se/workshop/lennart.pdf
Lennart Öhman. Principles, Logics, and Implementations of High-level Programming Languages, Florence. |
| |
3D Graphics with Erlang - The OpenGL Interface. - http://www.erlang.se/euc/01/Erlang3D/sld001.htm
Jakob Cederlund, Dan Gudmundsson, Björn Gustavsson. Proceedings from EUC 2001, Stockholm. |
| |
Telia Call Guide - http://www.erlang.se/euc/99/TeliaCallGuide/index.htm
Hans Nahringbauer, Telia Promotor AB. Erlang User Conference, Stockholm. |
| |
Development of a Verified Erlang Program for Resource Locking - http://www.erlang.se/publications/clara2.ps
Thomas Arts and Clara Benac Earle. 6th International Workshop on Formal Methods for Industrial Critical Systems, Paris. (ps) |
 |
Exploiting Sequential Libraries on a Cluster of Computers - http://www.erlang.se/workshop/juanjo.ps
Miguel Barreiro, José Luis Freire, Victor M Gulias and Juan J Sanchez. Principles, Logics, and Implementations of High-level Programming Languages, Florence. (ps) |
| |
The Concurrent Functional Programming Language Erlang - An Overview - http://www.cs.tu-berlin.de/cs/ifb/TechnB/96/28/sahlin.ps.gz
Dan Sahlin. Workshop of Multi-Paradigm Logic Programming, in conjunction with the Joint International Conference and Symposium on Logic Programming, Bonn. (ps.gz) |
| |
Linear Scan Register Allocation in the HiPE compiler. - http://user.it.uu.se/~happi/publications/wflp.ps
Erik Johansson and Konstantinos Sagonas. Precented at the International Workshop on Functional and (Constraint) Logic Programming (WFLP 2001), Kiel. |
| |
Verification of Erlang programs using abstract interpretation and model checking - http://portal.acm.org/citation.cfm?id=317908&coll=portal&dl=ACM&CFID=9780600&CFTOKEN=77012708
Frank Huch. Fourth ACM SIGPLAN international conference on Functional programming, Paris. |