1. Home
  2. Computer
  3. Programmin­g
  4. A Practical Subtyping System For Erlang

Computer · Programmin­g

A Practical Subtyping System For Erlang

Listed in the directory · updated 20 Jul 2022

Visit website

Find them on

Share

About A Practical Subtyping System For Erlang

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

Tags

Libraries

Where it sits

Computer Programmin­g

More in Programmin­g

See all →