Search The Directory The Web for Home > Computers > Programming > Languages > Erlang > Research New! Submit a site   whatUseek Collection Sites (submit a site ):   Give your site great placement in this category in as little as two business days!     whatUseek Directory Site Listings:   A Practical Subtyping System For Erlang - Wadler's type system for Erlang developed at Glasgow University with Simon Marlow.   Dependency Pairs - The dependency pair technique is developed for proving termination and innermost termination of Term Rewriting Systems.   ETOS - Erlang to Scheme Compiler developed by the University of Montreal.   Erlang Type System - Prototype of Erlang type system and links to more information about typed Erlang.   High Performance Erlang - HiPE is an ASTEC project at the Computing Science Department of Uppsala University, aimed at efficiently implementing the concurrent functional language Erlang.   Safer Erlang - A research project focussed on the design and prototyping of a secure and safe mobile code execution environment in Erlang.   Verification of Erlang Programs - A project to produce a method and prototype tool-set for verifying a substantial fragment of the Erlang programming language. Help build the largest human-edited directory on the web.   Submit a Site - Open Directory Project - Become an Editor

About   Help   Content Filter   Terms   Privacy Policy © 2018 whatUseek