  |
http://www.it.uu.se/research/group/hipe/ - http://www.it.uu.se/research/group/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. |
| |
Erlang QuickCheck - http://www.cs.chalmers.se/~rjmh/ErlangQC/
Erlang/QuickCheck is a library for random testing of Erlang programs against specifications. |
| |
http://www.cs.kent.ac.uk/projects/forse/ - http://www.cs.kent.ac.uk/projects/forse/
Formally-Based Tool Support for Erlang Development, a joint research project with the University of Kent, Sheffield University, T-Mobile and Erlang Training and Consulting. |
| |
A Practical Subtyping System For Erlang - http://homepages.inf.ed.ac.uk/wadler/topics/erlang.html
Wadler's type system for Erlang developed at Glasgow University with Simon Marlow. |
| |
http://www.dcs.shef.ac.uk/~qiang/forse/forse.htm - http://www.dcs.shef.ac.uk/~qiang/forse/forse.htm
FORmally Based Tool Support for Erlang Development, a reearch project at the University of Sheffield. |