Back to Results
First PageMeta Content
Programming language theory / Constraint programming / Data types / Polymorphism / Logic programming / Type system / Subtype polymorphism / Type inference / Unification / Type theory / Software engineering / Mathematics


A Practical Subtyping System For Erlang Simon Marlow Philip Wadler [removed] [removed] University of Glasgow Bell Labs, Lucent Technologies
Add to Reading List

Document Date: 2003-10-17 05:44:15

Open Document

File Size: 201,55 KB

Share Result on Facebook

City

Amsterdam / /

Company

University of Glasgow Bell Labs / Lucent Technologies / /

/

IndustryTerm

constructor applications / style systems / reduction algorithm / inference systems / type checking algorithm / type systems / soft typing systems / entailment algorithm / /

Person

Simon Marlow Philip Wadler simonm / /

ProgrammingLanguage

E / Erlang / R / C / K / L / /

TVStation

Wand / /

Technology

Functional Programming / Inductive Form Our entailment algorithm / set D. The algorithm / entailment algorithm / reduction algorithm / type checking algorithm / /

SocialTag