Post #872119
2025-06-27 17:09 UTC
Replies (7)
-
@koronkebitch@types.pl 2025-06-27 17:13
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.
-
@milo@types.pl 2025-06-27 17:14
@koronkebitch @wilbowma congrats!! sounds very interesting
-
@pigworker@types.pl 2025-06-27 18:10
@koronkebitch @wilbowma Awesome! Looking forward to it!
-
@rg9119@mathstodon.xyz 2025-06-27 18:13
@koronkebitch @wilbowma Well THIS aged poorly!! https://mathstodon.xyz/@koronkebitch@types.pl/113154854734488806 😜
-
@carsickcans@defcon.social 2025-06-27 19:07
@koronkebitch @wilbowma ah this sounds interesting! Looking forward to the preprint
-
@ismailkuru@mastodon.acm.org 2025-06-27 20:31
@koronkebitch 🎉 @wilbowma
-
@chrisamaphone@hci.social 2025-06-27 20:33
@wilbowma @koronkebitch huge congrats!