[iwaco'25] Temporal Resource Typing: Enriching Substructural Typing For Liveness Reasoning
Synopsis
Temporal Resource Typing: Enriching Substructural Typing for Liveness Reasoning (Video, IWACO 2025) Yiyuan Cao, and Taro ...
You Might Also Like
![[ICFP24] Contextual Typing](https://i.ytimg.com/vi/U-Aiupk_3u0/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLDyaLjrLYGQjIwreTnbo8y1EtY7rQ)
![[IWACO'25] Type Universes as Kripke Worlds: Memory Management Edition](https://i.ytimg.com/vi/4CmNZLgn6Qo/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLAES-S-g4OxSW-U9CzDYoH9sMWOLw)
![[POPL'24] When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-C...](https://i.ytimg.com/vi/jDhSUuvxomY/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLCmyQGvH7etI-j06R3TfH9pJe9TSg)
![[OOPSLA'25] LOUD: Synthesizing Strongest and Weakest Specifications](https://i.ytimg.com/vi/HIfH4Id7EQw/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLBW-lHDft0txzX7D-35u2jqaly6qQ)
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.