Search for
Home > Computers > Programming > Languages > Erlang >

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