A Type System to Ensure Non-Interference in ReScript. - Benjamin Bennetzen; Daniel Vang Kleist; Emilie Sonne Steinmann; Loke Walsted; Nikolaj Rossander Kristensen; Peter Buus Steffensen (CoRR, 2024)

Cost Analysis for Import and Export Using an Abstract Machine. - Benjamin Bennetzen; Daniel Vang Kleist; Emilie Sonne Steinmann; Loke Walsted; Nikolaj Rossander Kristensen; Peter Buus Steffensen (CoRR, 2024)

A Type Safe Calculus for Generating Syntax-Directed Editors. - Benjamin Bennetzen; Nikolaj Rossander Kristensen; Andreas Tor Mortensen; Peter Buus Steffensen; Sune Skaanning Engtorp; Hans Hüttel (PEPM, 2025)

A generalised editor calculus (Short Paper). - Benjamin Bennetzen; Peter Buus Steffensen; Hans Hüttel; Nikolaj Rossander Kristensen; Andreas Tor Mortensen (CoRR, 2025)

Encoding call-by-push-value in the pi-calculus. - Benjamin Bennetzen; Nikolaj Rossander Kristensen; Peter Buus Steffensen (CoRR, 2025)