[oopsla'25] Liberating Merges Via Apartness And Guarded Subtyping

2026 15:19
Synopsis
Liberating Merges via Apartness and Guarded Subtyping (Video, OOPSLA2 2025) Han Xu, Xuejing Huang, and Bruno C. d.

You Might Also Like

[ICFP/SPLASH'25] Orchid West - SPLASH OOPSLA (Oct 16th) 8:16:14
[icfp/splash'25] Orchid West - Splash Oopsla (oct 16th)
2026
3 202512 26 Services based Concepts Woelfle 12:40
3 202512 26 Services Based Concepts Woelfle
2026
[ICFP/SPLASH'25] Orchid Plenary Ballroom - SPLASH OOPSLA (Oct 17th) 10:18:55
[icfp/splash'25] Orchid Plenary Ballroom - Splash Oopsla (oc...
2026
How To Use Nested For Loop In List Comprehension 0:16
How To Use Nested For Loop In List Comprehension
2026
[ICFP/SPLASH'25] Orchid West - SPLASH OOPSLA (Oct 18th) 8:39:36
[icfp/splash'25] Orchid West - Splash Oopsla (oct 18th)
2026
[ICFP/SPLASH'25] Orchid Small - SPLASH OOPSLA (Oct 17th) 5:18:27
[icfp/splash'25] Orchid Small - Splash Oopsla (oct 17th)
2026
[ICFP/SPLASH'25] Orchid Plenary Ballroom - SPLASH OOPSLA (Oct 16th) 9:20:33
[icfp/splash'25] Orchid Plenary Ballroom - Splash Oopsla (oc...
2026
[ICFP/SPLASH'25] Orchid West - SPLASH OOPSLA (Oct 17th) 9:12:33
[icfp/splash'25] Orchid West - Splash Oopsla (oct 17th)
2026
[ICFP/SPLASH'25] Orchid Small - SPLASH OOPSLA (Oct 18th) 9:03:25
[icfp/splash'25] Orchid Small - Splash Oopsla (oct 18th)
2026
[ICFP/SPLASH'25] Orchid Plenary Ballroom - SPLASH OOPSLA (Oct 18th) 9:15:29
[icfp/splash'25] Orchid Plenary Ballroom - Splash Oopsla (oc...
2026
[ICFP/SPLASH'25] Orchid East - SPLASH OOPSLA (Oct 17th) 8:34:36
[icfp/splash'25] Orchid East - Splash Oopsla (oct 17th)
2026
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.