Interpreting Mathematical Texts in Naproche-SAD. - Adrian De Lon; Peter Koepke; Anton Lorenzen (CICM, 2020)

The Isabelle/Naproche Natural Language Proof Assistant. - Adrian De Lon; Peter Koepke; Anton Lorenzen; Adrian Marti; Marcel Schütz; Makarius Wenzel (CADE, 2021)

A Natural Formalization of the Mutilated Checkerboard Problem in Naproche. - Adrian De Lon; Peter Koepke; Anton Lorenzen (ITP, 2021)

Beautiful Formalizations in Isabelle/Naproche. - Adrian De Lon; Peter Koepke; Anton Lorenzen; Adrian Marti; Marcel Schütz; Erik Sturzenhecker (CICM, 2021)

CICM'22 System Entries. - Peter Koepke; Anton Lorenzen; Boris Shminke (CICM, 2022)

Reference counting with frame limited reuse. - Anton Lorenzen; Daan Leijen (Proc. ACM Program. Lang., 2022)

Tail Recursion Modulo Context: An Equational Approach. - Daan Leijen; Anton Lorenzen (Proc. ACM Program. Lang., 2023)

FP²: Fully in-Place Functional Programming. - Anton Lorenzen; Daan Leijen; Wouter Swierstra (Proc. ACM Program. Lang., 2023)

The Functional Essence of Imperative Binary Search Trees. - Anton Lorenzen; Daan Leijen; Wouter Swierstra; Sam Lindley (Proc. ACM Program. Lang., 2024)

Oxidizing OCaml with Modal Memory Management. - Anton Lorenzen; Leo White; Stephen Dolan; Richard A. Eisenberg; Sam Lindley (Proc. ACM Program. Lang., 2024)

Modal Effect Types. - Wenhao Tang; Leo White; Stephen Dolan; Daniel Hillerström; Sam Lindley; Anton Lorenzen (Proc. ACM Program. Lang., 2025)