Anton Lorenzen

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 10

Top Topics

Mathematical Knowledge

Logical Language

Consecutive Frames

Top Venues

Proc. ACM Program. Lang.

Publications

Wenhao Tang, Leo White, Stephen Dolan, Daniel Hillerström, Sam Lindley, Anton Lorenzen
Modal Effect Types. CoRR (2024)
Anton Lorenzen, Daan Leijen, Wouter Swierstra, Sam Lindley
The Functional Essence of Imperative Binary Search Trees. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Anton Lorenzen, Daan Leijen, Wouter Swierstra
FP²: Fully in-Place Functional Programming. Proc. ACM Program. Lang. 7 (ICFP) (2023)
Daan Leijen, Anton Lorenzen
Tail Recursion Modulo Context: An Equational Approach. Proc. ACM Program. Lang. 7 (POPL) (2023)
Anton Lorenzen, Daan Leijen
Reference counting with frame limited reuse. Proc. ACM Program. Lang. 6 (ICFP) (2022)
Peter Koepke, Anton Lorenzen, Boris Shminke
CICM'22 System Entries. CICM (2022)
Adrian De Lon, Peter Koepke, Anton Lorenzen, Adrian Marti, Marcel Schütz, Makarius Wenzel
The Isabelle/Naproche Natural Language Proof Assistant. CADE (2021)
Adrian De Lon, Peter Koepke, Anton Lorenzen, Adrian Marti, Marcel Schütz, Erik Sturzenhecker
Beautiful Formalizations in Isabelle/Naproche. CICM (2021)
Adrian De Lon, Peter Koepke, Anton Lorenzen
A Natural Formalization of the Mutilated Checkerboard Problem in Naproche. ITP (2021)
Adrian De Lon, Peter Koepke, Anton Lorenzen
Interpreting Mathematical Texts in Naproche-SAD. CICM (2020)