Andreas Tor Mortensen

According to our database, Andreas Tor Mortensen authored at least 2 papers in 2025.

Collaborative distances:

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

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