Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Ulrich Schöpp
On the Relation of Interaction Semantics to Continuations and Defunctionalization
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Pure Pointer Programs and Tree Isomorphism
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
On the Dynamic Extent of Delimited Continuations
BRICS Report Series
On the Relation of Roughness and the Dipolar Interaction
AIP Conference Proceedings
Astronomy
Physics
On the Static and Dynamic Extents of Delimited Continuations
BRICS Report Series
The Continuations Saga
Serials Librarian
Library
Information Sciences
Introducing Continuations
Semantics and Linguistic Theory
Computational Semantics of Time/Negation Interaction
On Operational Semantics of Congruence Relation Defined in Algebraic Language ASL/*
From Interpreter to Logic Engine by Defunctionalization
BRICS Report Series
A Semantics-Based Approach for the Design and Implementation of Interaction Objects
Computer Graphics Forum
Computer Networks
Computer Graphics
Computer-Aided Design
Communications
