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.

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

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.

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.

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

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.

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.

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

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.

Results: 1 2 3 Next

( Add Your Site )

» Advertising » Affiliate Program » Business » Computers » Construction » Consulting » Education » Entertainment » Financial Services » Food » Forum » Furniture » Gambling » Games » Garden » Graphic Design » Hardware » Health » Home » Human Resources » Internet » ISP » Law » Marketing » Mortgage

» Music » News » Others » Personal Site » Portal » Real Estate » Recreation » Search Engine Optimization » Security » Shopping » Society » Software » Sports » Telecommunications » Transportation » Travel » Web Design » Web Hosting Directory » Web Hosting Guide » Web Hosting Providers » Web Hosting Reviews » Web Marketing » Web Template » Webmaster Resources » World