Anton Lorenzen

According to our database, Anton Lorenzen authored at least 10 papers between 2020 and 2024.

Collaborative distances:

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

2024

The Functional Essence of Imperative Binary Search Trees.

Anton Lorenzen, Daan Leijen, Wouter Swierstra, Sam Lindley

Proc. ACM Program. Lang., 2024

Modal Effect Types.

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

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