  |
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. |
  |
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) |
  |
Invited Erlang Tutorial - http://www.erlang.se/workshop/armstrong.pdf
Joe Armstrong. Principles, Logics, and Implementations of High-level Programming Languages, Florence. |
  |
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) |
  |
Towards an Event Modelling Language - http://www.erlang.se/euc/99/Event.ps
Maurice Castro, SERC, Melbourne, Australia. Erlang User Conference, Stockholm. (ps) |
  |
HiPE Version 1.0. - http://www.erlang.se/euc/01/kostis2001/sld001.htm
Kostis Sagonas. Proceedings from EUC 2001, Stockholm. |
  |
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. |
  |
An Experimental SIP Implementation in Erlang - http://www.erlang.se/euc/99/SIP/index.htm
Hans Nilsson, Ericsson Utvecklings AB. Erlang User Conference, Stockholm. |
  |
Mail Robustifier Product based on Erlang/OTP - http://www.erlang.se/euc/99/millroth.ps.gz
Håkan Millroth, Bluetail AB. Erlang User Conference, Stockholm. (ps) |
  |
Cross-Module Optimization of Erlang. - http://www.erlang.se/euc/01/thomasl.ps
Thomas Lindgren. Proceedings from EUC 2001, Stockholm. (ps) |
  |
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) |
  |
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. |
  |
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 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) |
 |
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 |
 |
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) |
 |
On the Verification of Open Distributed Systems - http://www.cogsci.ed.ac.uk/~ceilidh/SAC-Papers/Paper78/
Mads Dam, Lars-åke Fredlund, Swedish Institute of Computer Science, Submitted to SAC'98. (ps) |
 |
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) |
 |
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. |
 |
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) |