| 1. | 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.
www.csd.uu.se |
| 2. | Verification of Erlang Programs | | | A project to produce a method and prototype tool-set for verifying a substantial fragment of the Erlang programming language.
www.sics.se |
| 3. | VoDKA Project | | | The University of A Coruņa is researching Video On Demand applications using Erlang.
vodka.lfcia.org |
| 4. | UBF | | | Erlang is being used by Joe Armstrong for researching the transportation and description of complex data structures across networks.
www.sics.se |
| 5. | Safer Erlang | | | A research project focussed on the design and prototyping of a secure and safe mobile code execution environment in Erlang.
www.unsw.adfa.edu.au |
| | |