Back to Results
First PageMeta Content
Theoretical computer science / Models of computation / Type erasure / Proof theory / Lambda calculus / Valuation / Type system / Admissible rule / Natural deduction / Mathematical logic / Mathematics / Type theory


LNCS[removed]Erasure and Polymorphism in Pure Type Systems
Add to Reading List

Document Date: 2008-11-13 13:58:09

Open Document

File Size: 235,04 KB

Share Result on Facebook

Company

Applied Type Systems / Pure Type Systems Pure Type Systems / Implicit Pure Type Systems / Erasure Pure Type Systems / Pure Type Systems / /

/

Facility

Tim Sheard Portland State University / /

IndustryTerm

explicit and implicit dependent products / explicit product / expressive type systems / type systems / implicit product / /

Organization

Portland State University / International Criminal Court / /

Person

Nat / Tim Sheard / /

Product

Lemma 4 / /

ProgrammingLanguage

Haskell / Dependent ML / /

SocialTag