[PLDI'23] Garbage-Collection Safety for Region-Based Type-Polymorphic Programs | ACM SIGPLAN | Podwise