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.
url: www.csd.uu.se/projects/hipe/
A Practical Subtyping System For Erlang
Wadler's type system for Erlang developed at Glasgow University with Simon Marlow.
url: www.research.avayalabs.com/user/wadler/topics/erla...
Project Plan: Process structure extraction from ERLANG /OTP systems
An ongoing research project at Uppsala University.
url: user.it.uu.se/~jann/grad-plan/project_plan/
Safer Erlang
A research project focussed on the design and prototyping of a secure and safe mobile code execution environment in Erlang.
url: www.unsw.adfa.edu.au/~lpb/research/sserl/
UBF
Erlang is being used by Joe Armstrong for researching the transportation and description of complex data structures across networks.
url: www.sics.se/~joe/ubf/site/home.html
Verification of Erlang Programs
A project to produce a method and prototype tool-set for verifying a substantial fragment of the Erlang programming language.
url: www.sics.se/fdt/projects/vericode/evt.html
VoDKA Project
The University of A Coruña is researching Video On Demand applications using Erlang.
url: vodka.lfcia.org/
