![Mathematics / Subtype polymorphism / Type system / Lambda calculus / Typed lambda calculus / Type safety / Valuation / Entailment / Holomorphic functional calculus / Type theory / Theoretical computer science / Logic Mathematics / Subtype polymorphism / Type system / Lambda calculus / Typed lambda calculus / Type safety / Valuation / Entailment / Holomorphic functional calculus / Type theory / Theoretical computer science / Logic](https://www.pdfsearch.io/img/763d57592f806826cf6715b5604b81e3.jpg)
| Document Date: 2012-08-10 19:25:44 Open Document File Size: 153,49 KBShare Result on Facebook
Facility Philip Wadler Robert Bruce Findler University / / IndustryTerm software engineering / similar type systems / / Organization University of Chicago / University of Edinburgh University / / Person Nat / Dyn / / Position Harper / guard / / ProgrammingLanguage Visual Basic / Javascript / Java / T / Perl 6 / / RadioStation RT-0701 / / Technology Functional Programming / Java / Perl / /
SocialTag |