Browse New Popular Keyword Cloud Advanced Search Submit a Link
All ArtsBusinessChildrenComputersGamesHealthHomeNewsRecreationReferenceRegionalScienceShoppingSocietySports

Research

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

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

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

463 visits Jul 7, 2024 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.

33 visits Jan 16, 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.

444 visits Mar 26, 2023 Details
Submitting to: Research
Full form / Premium
Category Info
Links11
Submit a Link
Get the best links delivered weekly — hand-picked from 1,200,810 resources