Back to Results
First PageMeta Content
Programming language theory / Mathematics / Type constructor / Type system / Recursive data type / Turn / Constructor / Ordinal numbers / 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: 1999-04-14 16:12:26

Open Document

File Size: 195,55 KB

Share Result on Facebook

City

St. Petersburg / Orlando / Baltimore / /

Company

OptArray / /

Event

Delayed Filing / /

Facility

Cornell University / /

IndustryTerm

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

Organization

MLType / Carnegie Mellon University / Cornell University / /

Person

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

Position

tag-free garbage collector / /

Product

LX / /

ProgrammingLanguage

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

ProvinceOrState

Florida / /

Technology

alpha / Functional Programming / compare algorithm / /

SocialTag