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
Loop headers in λ-calculus or CPS
Andrew W. Appel
Computer Science
Center for Information Technology Policy (CITP)
Research output
:
Contribution to journal
›
Article
›
peer-review
8
Scopus citations
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Loop headers in λ-calculus or CPS'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Engineering
Recursive
100%
Keyphrases
Loop Invariants
50%