Academic and industrial research projects involving Erlang/OTP.

Subcategories 2

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.
Model checking
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.
[Computer Mozilla]
Last update:
January 5, 2016 at 18:24:05 UTC
Computers
Games
Health
Home
News
Recreation
Reference
Regional
Science
Shopping
Society
Sports
All Languages
Arts
Business