A Practical Subtyping System For Erlang
Wadler's type system for Erlang developed at Glasgow University with Simon Marlow.
HiPE
High Performance Erlang is an ASTEC project at the Computing Science Department of Uppsala University, aimed at efficiently implementing the concurrent functional language Erlang.
Project Plan: Process structure extraction from ER
An ongoing research project at Uppsala University.
Safer Erlang
A research project focussed on the design and prototyping of a secure and safe mobile code execution environment in Erlang.
UBF
Erlang is being used by Joe Armstrong for researching the transportation and description of complex data structures across networks.
Verification of Erlang Programs
A project to produce a method and prototype tool-set for verifying a substantial fragment of the Erlang programming language.
VoDKA Project
The University of A Coruña is researching Video On Demand applications using Erlang.