4 papers
Encoding call-by-push-value in the pi-calculus
Benjamin Bennetzen, Nikolaj Rossander Kristensen, Peter Buus Steffensen
In this report we define an encoding of Levys call-by-push-value lambda-calculus (CBPV) in the pi-calculus, and prove that our encoding is both sound and complete. We present infor…
A generalised editor calculus (Short Paper)
Benjamin Bennetzen, Peter Buus Steffensen, Hans Hüttel +2
In this paper, we present a generalization of a syntax-directed editor calculus, which can be used to instantiate a specialized syntax-directed editor for any language, given by so…
Cost Analysis for Import and Export Using an Abstract Machine
Benjamin Bennetzen, Daniel Vang Kleist, Emilie Sonne Steinmann +3
This paper presents the syntax and reduction rules for an abstract machine based on the JavaScript XML language. We incorporate the notion of cost into our reduction rules, and cre…
A Type System to Ensure Non-Interference in ReScript
Benjamin Bennetzen, Daniel Vang Kleist, Emilie Sonne Steinmann +3
Protecting confidential data from leaking is a critical challenge in computer systems, particularly given the growing number of observers on the internet. Therefore, limiting infor…