Anton Lorenzen

15 papers A 1B 1C 4Journal 9
YearRankTypeTitle / Venue / Authors
2025 J jnl
First-Order Laziness.
Proc. ACM Program. Lang.
Anton Lorenzen, Daan Leijen, Wouter Swierstra, Sam Lindley
2025 C conf
Lightweight Testing of Persistent Amortized Time Complexity in the Credit Monad.
Haskell
Anton Lorenzen
2025 J jnl
Modal Effect Types.
Proc. ACM Program. Lang.
Wenhao Tang, Leo White, Stephen Dolan, Daniel Hillerström, Sam Lindley, Anton Lorenzen
2025 J jnl
Tail recursion modulo context: An equational approach (extended version).
J. Funct. Program.
Daan Leijen, Anton Lorenzen
2024 J jnl
Modal Effect Types.
CoRR
Wenhao Tang, Leo White, Stephen Dolan, Daniel Hillerström, Sam Lindley, Anton Lorenzen
2024 J jnl
Oxidizing OCaml with Modal Memory Management.
Proc. ACM Program. Lang.
Anton Lorenzen, Leo White, Stephen Dolan, Richard A. Eisenberg, Sam Lindley
2024 J jnl
The Functional Essence of Imperative Binary Search Trees.
Proc. ACM Program. Lang.
Anton Lorenzen, Daan Leijen, Wouter Swierstra, Sam Lindley
2023 J jnl
FP²: Fully in-Place Functional Programming.
Proc. ACM Program. Lang.
Anton Lorenzen, Daan Leijen, Wouter Swierstra
2023 J jnl
Tail Recursion Modulo Context: An Equational Approach.
Proc. ACM Program. Lang.
Daan Leijen, Anton Lorenzen
2022 C conf
CICM'22 System Entries.
CICM
Peter Koepke, Anton Lorenzen, Boris Shminke
2022 J jnl
Reference counting with frame limited reuse.
Proc. ACM Program. Lang.
Anton Lorenzen, Daan Leijen
2021 B conf
A Natural Formalization of the Mutilated Checkerboard Problem in Naproche.
ITP
Adrian De Lon, Peter Koepke, Anton Lorenzen
2021 C conf
Beautiful Formalizations in Isabelle/Naproche.
CICM
Adrian De Lon, Peter Koepke, Anton Lorenzen, Adrian Marti, Marcel Schütz, Erik Sturzenhecker
2021 A conf
The Isabelle/Naproche Natural Language Proof Assistant.
CADE
Adrian De Lon, Peter Koepke, Anton Lorenzen, Adrian Marti, Marcel Schütz, Makarius Wenzel
2020 C conf
Interpreting Mathematical Texts in Naproche-SAD.
CICM
Adrian De Lon, Peter Koepke, Anton Lorenzen