Papers, Theses, Research and other PDF files
- Practical Type Inference Based on Success Typings (TypEr/Dialyzer)
- Static Detection of Race Conditions in Erlang (Dialyzer)
- Jerlang: Erlang with Joins (Join Calculus in Erlang)
- Four-fold Increase in Productivity and Quality (AXD 301 ATM Switch)
- McErlang: A Model Checker for a Distributed Functional Programming Language
- Making reliable distributed systems in the presence of software errors
- A History of Erlang
- Getting Erlang to talk to the outside world (Joe Armstrong)
- A Virtual World Distributed Server developed in Erlang as a Tool for analysing Needs of MMOG