|
|
|
|
Home / Computers / Programming / Languages / Erlang / Research
|
|
|
|
Web Sites
|
- A Practical Subtyping System For Erlang - Wadler's type system for Erlang developed at Glasgow University with Simon Marlow.
www.research.avayalabs.com/user/wadler/topics/erlang.html
- Dependency Pairs - The dependency pair technique is developed for proving termination and innermost termination of Term Rewriting Systems.
www.ericsson.com/cslab/~thomas/deppairs.shtml
- Erlang Type System - Prototype of Erlang type system and links to more information about typed Erlang.
www.ericsson.com/cslab/~thomas/types.shtml
- ETOS - A project group at the Université de Montréal is developing over a two year period a commercial quality implementation of Erlang based on Gambit Scheme. This is a state-of-the-art native code Scheme compiler developed by Professor Marc Feeley.
www.iro.umontreal.ca/~etos
- 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.
www.csd.uu.se/projects/hipe
- Project Plan: Process structure extraction from ERLANG /OTP systems - An ongoing research project at Uppsala University.
www.docs.uu.se/~jann/grad-plan/project_plan
- Safer Erlang - A research project focussed on the design and prototyping of a secure and safe mobile code execution environment in Erlang.
www.adfa.oz.au/~lpb/research/sserl
- UBF - Erlang is being used by Joe Armstrong for researching the transportation and description of complex data structures across networks.
www.sics.se/~joe/ubf/site/home.html
- Verification of Erlang Programs - A project to produce a method and prototype tool-set for verifying a substantial fragment of the Erlang programming language.
www.sics.se/fdt/projects/vericode/evt.html
- VoDKA Project - The University of A Coruña is researching Video On Demand applications using Erlang.
vodka.lfcia.org
|
|
|
|
|