Academic and industrial research projects involving Erlang/OTP.
Subcategories 2
Sites 4
- 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 ERLANG /OTP systems An ongoing research project at Uppsala University.
- Model checking Model checking Erlang code through formal methods.