Skip to main navigation
Skip to search
Skip to main content
Princeton University Home
Help & FAQ
Home
Profiles
Research units
Facilities
Projects
Research output
Press/Media
Search by expertise, name or affiliation
The logical approach to stack typing
Amal Ahmed,
David Walker
Computer Science
Research output
:
Contribution to journal
›
Article
›
peer-review
3
Scopus citations
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'The logical approach to stack typing'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Simple Types
100%
Assembly Language
100%
Type Systems
100%
Memory Models
100%
Aliasing
100%
Stack-based
100%
Adjacency
100%
Connectives
100%
Inference Rules
100%
Memory Block
100%
Natural Deduction
100%
Logical Approach
100%
Deallocation
100%
Computer Science
Assembly Language
100%
Type Systems
100%
Memory Model
100%
Aliasing
100%
Inference Rule
100%
Natural Deduction Style
100%
Mathematics
Adjacency
100%
Type System
100%