Back to Results
First PageMeta Content
Logic in computer science / Type theory / Lambda calculus / Proof theory / Combinatory logic / Models of computation / Standard ML / Curry–Howard correspondence / Type system / Theoretical computer science / Mathematics / Programming language theory


Elaborating Intersection and Union Types Joshua Dunfield Max Planck Institute for Software Systems
Add to Reading List

Document Date: 2012-06-25 20:34:16

Open Document

File Size: 271,52 KB

Share Result on Facebook

City

Copenhagen / /

Company

Creative Commons / /

Country

Germany / Denmark / /

/

Facility

Union Types Joshua Dunfield Max Planck Institute / /

IndustryTerm

intersection type systems / type systems / otherwise more-or-less-conventional type systems / /

Organization

unit→unit / U.S. Securities and Exchange Commission / Intersection and Union Types Joshua Dunfield Max Planck Institute for Software Systems Kaiserslautern and Saarbr¨ucken / Elaborating Intersection and Union Types Joshua Dunfield Max Planck Institute for Software Systems Kaiserslautern / eta / /

Person

Joshua Dunfield / /

Position

Twelf proof assistant / programmer / /

ProgrammingLanguage

C / ML / Standard ML / /

PublishedMedium

Stardust / /

Technology

typing algorithm / simulation / /

SocialTag