Back to Results
First PageMeta Content
Mathematics / Computer science / Curry–Howard correspondence / Dependently typed programming / Philosophy of computer science / Parametricity / Logic / Type theory / Proof theory / Logic in computer science


Under consideration for publication in J. Functional Programming 1 Parametricity, Type Equality and Higher-order Polymorphism
Add to Reading List

Document Date: 2014-07-10 05:47:07

Open Document

File Size: 349,67 KB

Share Result on Facebook

Facility

Higher-order Polymorphism DIMITRIOS VYTINIOTIS Microsoft Research STEPHANIE WEIRICH University of Pennsylvania Abstract Propositions / /

IndustryTerm

type-level applications / associate applications / type applications / /

Organization

Parametricity / Type Equality and Higher-order Polymorphism DIMITRIOS VYTINIOTIS Microsoft Research STEPHANIE WEIRICH University of Pennsylvania Abstract Propositions / eta / /

Person

Stephanie Weirich Many / Stephanie Weirich Generalized Algebraic Datatype / Dimitrios Vytiniotis / Stephanie Weirich / Cheney / /

ProgrammingLanguage

Haskell / R / /

Technology

Functional Programming / /

URL

http /

SocialTag