Academic and industrial research projects involving Erlang/OTP.
High Performance Erlang is an ASTEC project at the Computing Science Department of Uppsala University, aimed at efficiently implementing the concurrent functional language Erlang.
Model checking Erlang code through formal methods.
A Practical Subtyping System For Erlang
Wadler's type system for Erlang developed at Glasgow University with Simon Marlow.
Project Plan: Process structure extraction from ERLANG /OTP systems
An ongoing research project at Uppsala University.
Last update:January 5, 2016 at 18:24:05 UTC