Search Engine Home

Featured Sites:

Search Home

Math for Students

Mystery Book Store

Math Book Store

Dictionary and Language Portal
online dictionary


Privacy Policy

 
  Search Home : Computers : Programming : Languages : Erlang : Research
Ports and Compilers@  


  • 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.
  • 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.
  • Verification of Erlang Programs: A project to produce a method and prototype tool-set for verifying a substantial fragment of the Erlang programming language.
  • VoDKA Project: The University of A Coruña is researching Video On Demand applications using Erlang.

 
       Math Book Store
Help build the largest human-edited directory on the web.
Submit a Site - Open Directory Project - Become an Editor
Copyright © 2005-2007 All rights reserved. AllSites, LLC