Back to Results
First PageMeta Content
Program analysis / Type system / Lambda calculus / Function / Symbol / Curry–Howard correspondence / Mathematics / Mathematical logic / Type theory


Type-Safe Cast Stephanie Weirich ∗ Department of Computer Science
Add to Reading List

Document Date: 2014-07-10 05:49:28

Open Document

File Size: 115,98 KB

Share Result on Facebook

City

San Francisco / Cambridge / St. Petersburg / Montreal / London / Baltimore / Paris / /

Company

MIT Press / constructors LP / Functional Programming Languages / /

/

Event

Delayed Filing / /

Facility

Yale University / /

IndustryTerm

cast solution / above solution / cast solutions / /

Organization

National Science Foundation / Department of Computer Science / MIT / Yale University / Cornell University / Department of Computer Science Cornell University Ithaca / /

Person

Steve Zdancewic / Karl Crary / S. Peyton Jones / Chris Okasaki / Greg Morrisett / Dave Walker / J. Hughes / Fergus Henderson / /

/

Position

author / editor / R. Harper / and D. MacQueen / General / Harper / /

ProgrammingLanguage

Haskell / Standard ML / Java / ML / /

ProvinceOrState

Florida / New York / Massachusetts / Connecticut / /

PublishedMedium

Lecture Notes in Computer Science / /

Technology

Functional Programming / Java / /

URL

http /

SocialTag