Back to Results
First PageMeta Content
Models of computation / Lambda calculus / Predicate logic / Computability theory / First-order logic / Hoare logic / Ordinal number / Curry–Howard correspondence / Mathematical logic / Theoretical computer science / Logic


Polymorphism and Separation in Hoare Type Theory Aleksandar Nanevski Harvard University [removed] Greg Morrisett
Add to Reading List

Document Date: 2011-07-10 14:38:56

Open Document

File Size: 407,33 KB

Share Result on Facebook

Company

HTT / /

Currency

pence / /

/

Event

M&A / /

Facility

Lars Birkedal IT University / Hoare Type Theory Aleksandar Nanevski Harvard University / /

IndustryTerm

related systems / type systems / monadic type systems / garbage collection algorithm / /

Organization

Harvard University / United Nations / University of Copenhagen / eta / /

Person

Lars Birkedal / Cheney / Greg Morrisett / /

Product

Hoare / /

ProgrammingLanguage

Haskell / C / ML / Standard ML / Java / /

Technology

alpha / functional programming / garbage collection algorithm / AiF / Java / /

SocialTag