A Practical Subtyping System For Erlang
homepages.inf.ed.ac.ukWadler's type system for Erlang developed at Glasgow University with Simon Marlow.
Rate This Site
Embed Badge
Place this code on your website to show you're listed here.