Back to Results
First PageMeta Content
Programming language theory / Software engineering / Symbol / Recursive data type / Constructor / Turn / Type system / Binding / Ordinal number / Type theory / Mathematical logic / Data types


Higher-Order Intensional Type Analysis Stephanie Weirich Department of Computer Science, Cornell University Ithaca, NY 14850, USA
Add to Reading List

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


Open Document

File Size: 227,99 KB

Share Result on Facebook

/

IndustryTerm

extensible systems / /

Organization

Higher-Order Intensional Type Analysis Stephanie Weirich Department of Computer Science / Cornell University / /

Person

Hinze / Stephanie Weirich / /

Position

Harper / Intensional Type Analysis Harper / run-time interpreter / interpreter / /

ProgrammingLanguage

Haskell / Ada / ML / Java / /

Technology

functional programming / Java / /

SocialTag