Conference Proceedings@ Ports and Compilers@

» A Practical Subtyping System For Erlang    Wadler's type system for Erlang developed at Glasgow University with Simon Marlow.    http://homepages.inf.ed.ac.uk/wadler/topics/erlang.html

» Erlang QuickCheck    Erlang/QuickCheck is a library for random testing of Erlang programs against specifications.    http://www.cs.chalmers.se/~rjmh/ErlangQC/

» FORSE    FORmally Based Tool Support for Erlang Development, a reearch project at the University of Sheffield.    http://www.dcs.shef.ac.uk/~qiang/forse/forse.htm

» 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.it.uu.se/research/group/hipe/

» Model checking    Model checking Erlang code through formal methods.    http://www.dcs.shef.ac.uk/~jd/Projects/erlang.html

» Project Plan: Process structure extraction from ERLANG /OTP systems    An ongoing research project at Uppsala University.    http://user.it.uu.se/~jann/grad-plan/project_plan/

» Safer Erlang    A research project focussed on the design and prototyping of a secure and safe mobile code execution environment in Erlang.    http://www.unsw.adfa.edu.au/~lpb/research/sserl/

» UBF    Erlang is being used by Joe Armstrong for researching the transportation and description of complex data structures across networks.    http://www.sics.se/~joe/ubf/site/home.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.    http://www.sics.se/fdt/projects/vericode/evt.html

» VoDKA Project    The University of A Coruña is researching Video On Demand applications using Erlang.    http://vodka.lfcia.org/

Usenet comp.distributed - news: - Google Groups

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