• Publications
  • Influence
Categorical Structure of Continuation Passing Style
TLDR
An abstract categorical presentation of continuation semantics by taking the continuation type constructor ¬ (or cont in Standard ML of New Jersey) as primitive. Expand
Static Analysis for Regular Expression Exponential Runtime via Substructural Logics
TLDR
In this paper, we build on a recently published static analysis that detects whether a given regular expression can have exponential runtime for some inputs. Expand
Modelling environments in call-by-value programming languages
TLDR
In categorical semantics, we investigate environments in call-by-value languages by analysing a fine-grain variant of Moggi’s computational λ-calculus, giving two equivalent sound and complete classes of models: one given by Freyd categories, which are based on symmetric premonoidal categories, the other given by closed κ-categories. Expand
Static Analysis for Regular Expression Denial-of-Service Attacks
TLDR
We present an efficient static analysis for detecting vulnerable regular expression matchers based on backtracking and show that they are vulnerable to ReDoS. Expand
A Type-theoretic Reconstruction of the Visitor Pattern
TLDR
In object-oriented languages, the Visitor pattern can be used to traverse tree-like data structures, and the data structure objects allow themselves to be traversed by accepting visitors. Expand
Closed Freyd- and kappa-categories
TLDR
We give two classes of sound and complete models for the computational λ-Calculus, or λc-calculus. Expand
Continuation semantics and self-adjointness
TLDR
We give an abstract categorical presentation of continuation semantics by taking the continuation type constructor ¬ (or cont in Standard ML of New Jersey) as primitive. Expand
On the call-by-value CPS transform and its semantics
TLDR
We investigate continuations in the context of idealized call-by-value programming languages. Expand
Linear Continuation-Passing
TLDR
Continuations can be used to explain a wide variety of control behaviours, including calling/returning (procedures), raising/handling (exceptions), labelled jumping (goto statements), process switching (coroutines), and backtracking. Expand
From control effects to typed continuation passing
TLDR
In this paper, we establish the connection between an effect system for first-class continuations and typed versions of continuation-passing style. Expand
...
1
2
3
4
5
...