Programming / Languages / Erlang / Conferences / Proceedings — Computers

Extending Erlang with structured module packages

Richard Carlsson. Department of Information Technology, Uppsala University. Presented at EUC2000

A practical subtyping system for Erlang

article by Philip Wadler at 2nd International Conference on Functional Programming, Amsterdam.

Verification of Erlang programs using abstract interpretation and model checking

Frank Huch. Fourth ACM SIGPLAN international conference on Functional programming, Paris.

Sendmail Meets Erlang: Experiences Using Erlang for Email Applications

Scott Lystig Fritchie, Jim Larson, Nick Christenson, Debi Jones, Lennart ?hman. Sixth International Erlang/OTP User Conference, Stockholm. (October 03, 2000)

The Development of Erlang

Joe Armstrong. ACM SIGPLAN International Conference on Functional Programming, Amsterdam. (June 09, 1997)

Mnesia - An Industrial DBMS with Transactions, Distribution and a Logical Query Language

Claes Wikstr?m and Hans Nilsson. International Symposium on Cooperative Database Systems for Advanced Applications, Kyoto Japan. (ps.Z) (December 05, 1996)

Computers

Proceedings resources