Back to Results
First PageMeta Content
Models of computation / Computability theory / Lambda calculus / Function / Mathematics / Mathematical logic / Theoretical computer science


Irrelevance, Heterogeneous Equality, and Call-by-value Dependent Type Systems Vilhelm Sj¨oberg Chris Casinghino
Add to Reading List

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

Open Document

File Size: 358,89 KB

Share Result on Facebook

Currency

pence / /

/

Facility

Call-by-value Dependent Type Systems Vilhelm Sj¨oberg Chris Casinghino Ki Yung Ahn University of Pennsylvania University of Pennsylvania / Garrin Kimmell Tim Sheard Aaron Stump University of Iowa Portland State University University / Eades III Peng Fu Portland State University University of Iowa University / /

IndustryTerm

straightforward algorithm / /

Organization

SP APP / University of Iowa Portland State University University / Portland State University University / University of Pennsylvania Portland State University / International Criminal Court / University of Pennsylvania / University of Iowa University / /

Person

Nat / Ai / Nathan Collins Harley / Chris Casinghino Ki Yung / /

Position

programmer / /

ProgrammingLanguage

Haskell / /

ProvinceOrState

A.b. / Iowa / Pennsylvania / /

Technology

functional programming / straightforward algorithm / /

SocialTag