Peter Buus Steffensen

According to our database, Peter Buus Steffensen authored at least 5 papers between 2024 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2025

Encoding call-by-push-value in the pi-calculus.

Benjamin Bennetzen, Nikolaj Rossander Kristensen, Peter Buus Steffensen

CoRR, June, 2025

A generalised editor calculus (Short Paper).

Benjamin Bennetzen, Peter Buus Steffensen, Hans Hüttel, Nikolaj Rossander Kristensen, Andreas Tor Mortensen

CoRR, May, 2025

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

Proceedings of the 2025 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, 2025

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 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