Skip to main navigation
Skip to search
Skip to main content
NYU Scholars Home
Help & FAQ
Home
Profiles
Research units
Research output
Search by expertise, name or affiliation
Types as abstract interpretations
Patrick Cousot
Computer Science
Research output
:
Contribution to journal
›
Conference article
›
peer-review
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Types as abstract interpretations'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Computer Science
Abstract Interpretation
100%
Type Systems
66%
lambda-calculus
66%
Interpreter
33%
Denotational Semantics
33%
Type Inference
33%
Strong Program
33%
Polymorphic Type
33%
Keyphrases
Curry
66%
Polytype
66%
Monotype
33%
Principal Typing
33%