Media Summary: Parametric Subtyping for Structural Parametric Polymorphism Internal Parametricity, without an Interval (Video, This video introduces the concepts of inclusion
Overview
Popl 24 Parametric Subtyping For Structural Parametric Polymorphism - Detailed Analysis
Parametric Subtyping for Structural Parametric Polymorphism Internal Parametricity, without an Interval (Video, This video introduces the concepts of inclusion
Gallery
Photo Gallery
![[POPL'24] Parametric Subtyping for Structural Parametric Polymorphism](https://i.ytimg.com/vi/tl-DWLjVw-o/mqdefault.jpg)
![[OOPSLA23] Structural Subtyping as Parametric Polymorphism](https://i.ytimg.com/vi/zkUupBdVKuA/mqdefault.jpg)
![[POPL'24] Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in ...](https://i.ytimg.com/vi/cMBuYviwtIE/mqdefault.jpg)
![[POPL'24] Polymorphic Type Inference for Dynamic Languages](https://i.ytimg.com/vi/dYJ9DB5ySwU/mqdefault.jpg)
![[POPL'24] Mechanizing Refinement Types](https://i.ytimg.com/vi/UXA7SRArBj8/mqdefault.jpg)
![[PLDI24] Space-Efficient Polymorphic Gradual Typing, Mostly Parametric](https://i.ytimg.com/vi/iSIyGRO4sL0/mqdefault.jpg)
![[POPL'24] Soundly Handling Linearity](https://i.ytimg.com/vi/sHGrKEoWtm8/mqdefault.jpg)
![[SessionPreviews@POPL'24] Types 3: Session Preview](https://i.ytimg.com/vi/t0Si5AjNmQ4/mqdefault.jpg)
![[POPL'24] Internal parametricity, without an interval](https://i.ytimg.com/vi/bcazvJr8bjc/mqdefault.jpg)
Related
![[Inheritance3, Video 1] Subtype Polymorphism](https://i.ytimg.com/vi/m2F-ekp_BRU/mqdefault.jpg)
