Post #1349112
2025-06-27 17:13 UTC
will post a preprint soon, but this paper explores the semantics of mutable references and specifically how type universes can describe regions of allocations. this allows us to describe stratified higher-order references, and prove termination of a language with higher-order references, as well as further distinguish between cyclic and acyclic full-ground references.
Replies (3)
-
@koronkebitch@types.pl 2025-06-27 17:16
on a more personal note, I am so so grateful and elated. the ICFP reviews were incredible, a reviewer found that our definitions didn't quite make sense but offered lots of communication and suggestions on ways to fix them. the high quality of all the reviews really confirmed what an outstanding conference ICFP is and why it remains my favorite to this day!!!!!
-
@koronkebitch@types.pl 2025-06-27 20:52
aaand here is the preprint 🎉 https://koronkevi.ch/files/tukw_preprint.pdf
-
@brendan@types.pl 2025-06-29 08:03
@koronkebitch This sounds really cool - excited to see it when it comes out! 🤩