Browse New Popular Submit a Link
All ArtsBusinessChildrenComputersGamesHealthHomeNewsRecreationReferenceRegionalScienceShoppingSocietySports
Advertise herefrom $25.00/day  ·  RON $40.00/day

Research

11 links
A Practical Subtyping System For Erlang
homepages.inf.ed.ac.uk

Wadler's type system for Erlang developed at Glasgow University with Simon Marlow.

176 visits Jul 23, 2024 Details
Erlang QuickCheck
cs.chalmers.se

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

462 visits Jul 7, 2024 Details
FORSE
cs.kent.ac.uk

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

94 visits Feb 21, 2025 Details
FORSE
dcs.shef.ac.uk

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

365 visits Jan 27, 2025 Details
HiPE
it.uu.se

High Performance Erlang is an ASTEC project at the Computing Science Department of Uppsala University, aimed at efficiently implementing the concurrent functional language Erlang.

32 visits Jan 16, 2024 Details
Model checking
dcs.shef.ac.uk

Model checking Erlang code through formal methods.

44 visits Apr 18, 2026 Details
Project Plan: Process structure extraction from ERLANG /OTP systems
user.it.uu.se

An ongoing research project at Uppsala University.

143 visits Nov 30, 2024 Details
Safer Erlang
unsw.adfa.edu.au

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

443 visits Mar 26, 2023 Details
UBF
sics.se

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

199 visits May 1, 2026 Details
Verification of Erlang Programs
sics.se

A project to produce a method and prototype tool-set for verifying a substantial fragment of the Erlang programming language.

223 visits Jul 4, 2025 Details
VoDKA Project
vodka.lfcia.org

The University of A Coruña is researching Video On Demand applications using Erlang.

92 visits Sep 16, 2024 Details

Showing 20–11 of 11 results

Submitting to: Research
Full form / Premium
Advertise herefrom $12.00/day  ·  RON $18.00/day
Category Info
Links11
Submit a Link
Advertise herefrom $10.00/day  ·  RON $15.00/day
Advertise herefrom $8.00/day  ·  RON $11.20/day
Advertise herefrom $15.00/day  ·  RON $21.00/day