Computers

Computers and technology — programming languages, software, hardware, internet services, security, artificial intelligence, and more. Explore thousands of tech resources organized by a knowledgeable community of editors.

56203 resources

Computers/Programming/Languages/Erlang/Conferences/Proceedings

Back

Proceedings resources

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.

Verification of Erlang programs using abstract interpretation and model checking

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

A practical subtyping system for Erlang

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

Extending Erlang with structured module packages

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

The Development of Erlang

Joe Armstrong. ACM SIGPLAN International Conference on Functional Programming, Amsterdam.

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)