Back to Results
First PageMeta Content
Programming language theory / Mathematics / Type constructor / Recursive data type / Type system / Turn / Ordinal number / Curry–Howard correspondence / Type theory / Mathematical logic / Data types


Flexible Type Analysis∗ Karl Crary Stephanie Weirich Carnegie Mellon University
Add to Reading List

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

Open Document

File Size: 237,89 KB

Share Result on Facebook

City

Orlando / St. Petersburg / Baltimore / /

Company

OptArray / /

Event

Delayed Filing / /

Facility

Cornell University / /

IndustryTerm

invaluable tool / compare algorithm / abstractions products / computing / /

Organization

National Science Foundation / MLType / Carnegie Mellon University / Cornell University / /

Person

Peter Lee / Karl Crary Stephanie Weirich Carnegie / Mads Tofte / James Hicks / Frank Pfenning / Karl Crary / Perry Cheng / Christine Flood / Carsten Sch / Lars Birkedal / Robert Harper / Greg Morrisett / Shail Aditya / Magnus Vejlstrup / Stephanie Weirich / /

Position

second author / tag-free garbage collector / /

Product

LX / /

ProgrammingLanguage

Haskell / Assembly Language / Lisp / ML / Modula-3 / /

ProvinceOrState

Florida / /

Technology

alpha / Functional Programming / compare algorithm / /

SocialTag