Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Anton Lorenzen
conf.researchr.org general profile
ICFP 2023 profile
ICFP 2024 profile
ICFP/SPLASH 2025 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
2025
PLMW
Author of Graduate Student Panel within the PLMW @ ICFP/SPLASH 2025-track
Haskell
Author of Lightweight Testing of Persistent Amortized Time Complexity in the Credit Monad within the Haskell 2025-track
ICFP
Author of First-Order Laziness within the ICFP Papers-track
ML
Session Chair of ML Workshop 3 (part of ML Family Workshop 2025)
Committee Member in Program Committee within the ML Family Workshop 2025-track
SPLASH
Author of Modal Effect Types within the OOPSLA-track
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
Mon 27 Oct 05:24