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 / /