[oopsla'25] Modeling Reachability Types With Logical Relations -- Semantic Type Soundness,(…)
Synopsis
Modeling Reachability Types with Logical Relations: Semantic Type Soundness, Termination, Effect Safety, and Equational ...
You Might Also Like
![[OOPSLA] Effects,capabilities,and boxes: from scope-based reasoning to type-based reasoning and back](https://i.ytimg.com/vi/P7X5Qy9KYLU/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLAtJkRqYjH90piZkvxnA6BBMkVALw)
Download Options
Choose a download method below. All links open in new tabs.
| Service | Features | Action |
|---|---|---|
| SaveFrom |
MP4 & MP3 • HD Quality • Browser Extension Available
|
Download |
Security Notice: These are third-party services. We recommend using antivirus software and being cautious of pop-up ads.