Directory of Research Resources

Home > Computers > Programming > Languages > Erlang > Research

Academic and industrial research projects involving Erlang/OTP.

Subcategories

• Conference Proceedings
• Ports and Compilers

Resources in This Category

• 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.

• 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.

• Model checking

  http://www.dcs.shef.ac.uk/~jd/Projects/erlang.html
  Model checking Erlang code through formal methods.

• Project Plan: Process structure extraction from ERLANG /OTP systems

  http://user.it.uu.se/~jann/grad-plan/project_plan/
  An ongoing research project at Uppsala University.

 

Home > Computers > Programming > Languages > Erlang > Research

 

---

 

Thanks to DMOZ, which built a great web directory for nearly two decades and freely shared it with the web. About us