Anton Lorenzen

According to our database, Anton Lorenzen authored at least 15 papers between 2020 and 2026.

Collaborative distances:

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

2026

Persistent Amortised Analysis, Operationally.

Anton Lorenzen

CoRR, May, 2026

2025

Modal Effect Types.

Wenhao Tang, Leo White, Stephen Dolan, Daniel Hillerström, Sam Lindley, Anton Lorenzen

Proc. ACM Program. Lang., 2025

First-Order Laziness.

Anton Lorenzen, Daan Leijen, Wouter Swierstra, Sam Lindley

Proc. ACM Program. Lang., 2025

Tail recursion modulo context: An equational approach (extended version).

Daan Leijen, Anton Lorenzen

J. Funct. Program., 2025

Lightweight Testing of Persistent Amortized Time Complexity in the Credit Monad.

Anton Lorenzen

Proceedings of the 18th ACM SIGPLAN International Haskell Symposium, 2025

2024

Oxidizing OCaml with Modal Memory Management.

Anton Lorenzen, Leo White, Stephen Dolan, Richard A. Eisenberg, Sam Lindley

Proc. ACM Program. Lang., 2024

The Functional Essence of Imperative Binary Search Trees.

Anton Lorenzen, Daan Leijen, Wouter Swierstra, Sam Lindley

Proc. ACM Program. Lang., 2024

2023

FP²: Fully in-Place Functional Programming.

Anton Lorenzen, Daan Leijen, Wouter Swierstra

Proc. ACM Program. Lang., August, 2023

Tail Recursion Modulo Context: An Equational Approach.

Daan Leijen, Anton Lorenzen

Proc. ACM Program. Lang., January, 2023

2022

Reference counting with frame limited reuse.

Anton Lorenzen, Daan Leijen

Proc. ACM Program. Lang., 2022

CICM'22 System Entries.

Peter Koepke, Anton Lorenzen, Boris Shminke

Proceedings of the Intelligent Computer Mathematics - 15th International Conference, 2022

2021

Beautiful Formalizations in Isabelle/Naproche.

Adrian De Lon, Peter Koepke, Anton Lorenzen, Adrian Marti, Marcel Schütz, Erik Sturzenhecker

Proceedings of the Intelligent Computer Mathematics - 14th International Conference, 2021

A Natural Formalization of the Mutilated Checkerboard Problem in Naproche.

Adrian De Lon, Peter Koepke, Anton Lorenzen

Proceedings of the 12th International Conference on Interactive Theorem Proving, 2021

The Isabelle/Naproche Natural Language Proof Assistant.

Adrian De Lon, Peter Koepke, Anton Lorenzen, Adrian Marti, Marcel Schütz, Makarius Wenzel

Proceedings of the Automated Deduction - CADE 28, 2021

2020

Interpreting Mathematical Texts in Naproche-SAD.

Adrian De Lon, Peter Koepke, Anton Lorenzen

Proceedings of the Intelligent Computer Mathematics - 13th International Conference, 2020