Back to Results
First PageMeta Content
Mathematics / Subtype polymorphism / Type system / Lambda calculus / Typed lambda calculus / Type safety / Valuation / Entailment / Holomorphic functional calculus / Type theory / Theoretical computer science / Logic


Well-typed programs can’t be blamed Philip Wadler Robert Bruce Findler University of Edinburgh
Add to Reading List

Document Date: 2012-08-10 19:25:44

Open Document

File Size: 153,49 KB

Share 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