Reference Counting with Frame Limited Reuse
Anton Lorenzen, Daan Leijen
Draft [technical report]
I am a Master student of Computer Science at the University of Bonn looking to start my PhD at Edinburgh in the fall. I have previously worked with Peter Koepke on the proof assistant Naproche (and contributed the web version) and with Daan Leijen on Koka.
Publications
2022
2021
Optimizing Reference Counting with Borrowing
Extended version of my Master thesis [pdf]
Beautiful Formalizations in Isabelle/Naproche
Adrian De Lon, Peter Koepke, Anton Lorenzen, Adrian Marti, Marcel Schütz, Erik Sturzenhecker
CICM 2021
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
2020
Interpreting Mathematical Texts in Naproche-SAD
Adrian De Lon, Peter Koepke, Anton Lorenzen
CICM 2020