Sciweavers

Share
ICFP
1997
ACM

A Practical Subtyping System For Erlang

10 years 4 days ago
A Practical Subtyping System For Erlang
We present a type system for the programming language Erlang. The type system supports subtyping and declarationfree recursive types, using subtyping constraints. Our system is similar to one explored by Aiken and Wimmers, though it sacrifices expressive power in favour of simplicity. We cover our techniques for type inference, type simplification, and checking when an inferred type conforms to a user-supplied type signature, and report on early experience with our prototype.
Simon Marlow, Philip Wadler
Added 06 Aug 2010
Updated 06 Aug 2010
Type Conference
Year 1997
Where ICFP
Authors Simon Marlow, Philip Wadler
Comments (0)
books