A Practical Subtyping System For Erlang

A Practical Subtyping System For Erlang
All Links

Share this:

Details of A Practical Subtyping System For Erlang

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