Skip to main navigation
Skip to search
Skip to main content
University of Birmingham Home
Help & FAQ
Home
Research output
Profiles
Research units
Projects
Activities
Datasets
Equipment
Prizes
Press/Media
Search by expertise, name or affiliation
On the call-by-value CPS transform and its semantics
C Fuhrmann, Hayo Thielecke
Computer Science
Research output
:
Contribution to journal
›
Article
7
Citations (Scopus)
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'On the call-by-value CPS transform and its semantics'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Mathematics
Continuation
88%
Semantics
83%
Transform
71%
Equational Theory
39%
Programming Languages
34%
Axiomatization
34%
Syntax
31%
Categorical
30%
Completeness
27%
Language
23%
Context
20%
Operator
15%
Model
10%
Engineering & Materials Science
Syntactics
100%
Computer programming languages
88%
Semantics
66%