Back to Results
First PageMeta Content
Programming language theory / Data types / Functional programming / Functional languages / Generalized algebraic data type / Type class / Algebraic data type / Haskell / Generic programming / Software engineering / Type theory / Computing


Dependently Typed Programming with Singletons Richard A. Eisenberg Stephanie Weirich University of Pennsylvania
Add to Reading List

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

Open Document

File Size: 625,44 KB

Share Result on Facebook

City

Copenhagen / /

Country

Denmark / /

Currency

USD / /

/

Facility

Diatchki’s TypeNats library / University of Pennsylvania Philadelphia / library Programming / Singletons Richard A. Eisenberg Stephanie Weirich University of Pennsylvania Philadelphia / A library / /

IndustryTerm

translation algorithm / conversion algorithms / straightforward search / type family applications / /

Organization

University of Pennsylvania Philadelphia / Singletons Richard A. Eisenberg Stephanie Weirich University of Pennsylvania Philadelphia / /

Person

Nat Haskell / Sheard Jones / Peyton Jones / Cheney / Richard A. Eisenberg Stephanie / /

Position

instance head / not the constraints / Major / programmer / /

ProgrammingLanguage

Haskell / /

Technology

translation algorithm / conversion algorithms / /

URL

http /

SocialTag