TopDir - top sites directory

TopDir is a human edited web directory with various categories, a collection of hand-picked web resources for visitors

TopDir offers free website promotion for webmasters and website owners. Relevant search results and many categories for adding and promoting websites. Free web promotion for websites at TopDir directory. Submit your url for review. A collection of hand-picked web resources for visitors. This page is focused on one particular aspect of Computers, Programming, Languages, Erlang, Research.

Conference Proceedings@ (45)
Ports and Compilers@ (10)

http://www.cs.chalmers.se/~rjmh/ErlangQC/

» Erlang QuickCheck - Erlang/QuickCheck is a library for random testing of Erlang programs against specifications.

http://www.dcs.shef.ac.uk/~qiang/forse/forse.htm

» FORSE - FORmally Based Tool Support for Erlang Development, a reearch project at the University of Sheffield.

http://www.cs.kent.ac.uk/projects/forse/

» FORSE - Formally-Based Tool Support for Erlang Development, a joint research project with the University of Kent, Sheffield University, T-Mobile and Erlang Training and Consulting.

http://www.it.uu.se/research/group/hipe/

» 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.

http://www.dcs.shef.ac.uk/~jd/Projects/erlang.html

» Model checking - Model checking Erlang code through formal methods.

http://homepages.inf.ed.ac.uk/wadler/topics/erlang.html

» A Practical Subtyping System For Erlang - Wadler's type system for Erlang developed at Glasgow University with Simon Marlow.

http://user.it.uu.se/~jann/grad-plan/project_plan/

» Project Plan: Process structure extraction from ERLANG /OTP systems - An ongoing research project at Uppsala University.

http://www.unsw.adfa.edu.au/~lpb/research/sserl/

» Safer Erlang - A research project focussed on the design and prototyping of a secure and safe mobile code execution environment in Erlang.

http://www.sics.se/~joe/ubf/site/home.html

» UBF - Erlang is being used by Joe Armstrong for researching the transportation and description of complex data structures across networks.

http://www.sics.se/fdt/projects/vericode/evt.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.

Usenet comp.distributed - news: - Google Groups
Usenet comp.lang.functional - news: - Google Groups

TopDir is a human edited web directory with various categories. Our mission is to organize theme based websites and remove the clutter from the information. We strive to provide context based website results to our visitors. This directory is an evolving one and we regularly add new categories, if there is a necessity. Members can suggest new categories and websites for inclusion. This is one stop promotion site for webmasters and website owners. We invite you to browse the categories and suggest your website url for an editor review. This page is focused on one particular aspect of Computers, Programming, Languages, Erlang, Research.

Help build the largest human-edited directory on the web. Soumettre un site - Open Directory Project - Devenir Editeur

Web directories list the websites by theme. The links in a web directory are collected, edited and organized by humans. Yahoo and Dmoz ODP(Open Directory Project) are considered as the best human-edited web directories on the Internet and they are one of the most trusted and relied traffic sources. Since these directories get thousands of submissions every day, it is sometimes difficult to get listed in them and your URL may take a long time to be reviewed and listed. Generally good directory listings give a surprise boost to your link popularity.