[icfp24] Contextual Typing
Synopsis
Contextual Typing (Video, ICFP 2024) Xu Xue and Bruno C. d. S. Oliveira (University of Hong Kong, China; University of Hong ...
You Might Also Like
![[ICFP24] ICFP Contest Results](https://i.ytimg.com/vi/FvF-aiPxUaw/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLBJo6DboQvw5BnHQdYtuE9T6wdKlQ)
![[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)
![[IWACO'25] Temporal Resource Typing: Enriching Substructural Typing for Liveness Reasoning](https://i.ytimg.com/vi/KxpPBv5bb5s/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLBLJScrnzctK3_18sF_ThOE8CIDqQ)
![[ICFP'25] [JFP] A contextual formalization of structural coinduction](https://i.ytimg.com/vi/oZLSDFfpHp0/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLB-sxzVg0nz4j9erMgIT65CYWDCLg)
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.