Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Anton Lorenzen
conf.researchr.org general profile
ICFP 2023 profile
ICFP 2024 profile
PLDI 2024 profile
POPL 2023 profile
Registered user since Wed 28 Jun 2023
Name:
Anton Lorenzen
Country:
United Kingdom
Affiliation:
University of Edinburgh
Contributions
2024
ICFP
Author of Oxidizing OCaml with Modal Memory Management within the ICFP Papers and Events-track
PLDI
Author of The Functional Essence of Imperative Binary Search Trees within the PLDI Research Papers-track
2023
ICFP
Author of FP^2: Fully in-Place Functional Programming within the Artifact Evaluation-track
Author of FP²: Fully in-Place Functional Programming within the ICFP Papers and Events-track
POPL
Author of Tail Recursion Modulo Context: An Equational Approach within the POPL-track
Share
x
Sat 21 Dec 15:50