In Partnership with AOL
  • 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.
    [!]
  • Safer Erlang - A research project focussed on the design and prototyping of a secure and safe mobile code execution environment in Erlang.
    [!]
  • UBF - Erlang is being used by Joe Armstrong for researching the transportation and description of complex data structures across networks.
    [!]
Volunteer to edit this category.
Copyright © 1998-2014 AOL Inc. Terms of Use
Visit our sister sites  mozilla.org | MusicMoz | Wikipedia

Last update: November 30, 2014 at 12:35:14 UTC - edit