Media Summary: Predictive Monitoring against Pattern Regular Languages (Video, When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism (Video, With a Few Square Roots, Quantum Computing Is as Easy as Pi (Video,
Popl 24 How Hard Is - Detailed Analysis & Overview
Predictive Monitoring against Pattern Regular Languages (Video, When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism (Video, With a Few Square Roots, Quantum Computing Is as Easy as Pi (Video, A Core Calculus for Documents: Or, Lambda: The Ultimate Document (Video, Programming-by-Demonstration for Long-Horizon Robot Tasks (Video, Indexed Types for a Statically Safe WebAssembly (Video,
Internal Parametricity, without an Interval (Video, Total Type Error Localization and Recovery with Holes (Video, Monotonicity and the Precision of Program Analysis (Video, Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in Higher-Order Generic Programs (Video,
![[POPL'24] How Hard is Weak-Memory Testing?](https://i.ytimg.com/vi/nj6V5mMHGBw/mqdefault.jpg)
![[POPL'24] Predictive Monitoring against Pattern Regular Languages](https://i.ytimg.com/vi/apf5afr0eEc/mqdefault.jpg)
![[POPL'24] When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-C...](https://i.ytimg.com/vi/jDhSUuvxomY/mqdefault.jpg)
![[POPL'24] With a Few Square Roots, Quantum Computing is as Easy as Pi](https://i.ytimg.com/vi/OQRxlqrZC5g/mqdefault.jpg)
![[POPL'24] A Core Calculus for Documents: Or, Lambda: The Ultimate Document](https://i.ytimg.com/vi/yC4ja0Zines/mqdefault.jpg)
![[POPL'24] Programming-by-Demonstration for Long-Horizon Robot Tasks](https://i.ytimg.com/vi/b2iN3keWUgk/mqdefault.jpg)
![[POPL'24] Indexed Types for a Statically Safe WebAssembly](https://i.ytimg.com/vi/mkTgnFrv7lI/mqdefault.jpg)
![[POPL'24] Internal parametricity, without an interval](https://i.ytimg.com/vi/bcazvJr8bjc/mqdefault.jpg)
![[POPL'24] Guided Equality Saturation](https://i.ytimg.com/vi/ZLkHl7YmpIY/mqdefault.jpg)
![[POPL'24] Total Type Error Localization and Recovery with Holes](https://i.ytimg.com/vi/j1Xyuu4kVwQ/mqdefault.jpg)
![[POPL'24] Monotonicity and the Precision of Program Analysis](https://i.ytimg.com/vi/m06wlLISzx0/mqdefault.jpg)
![[POPL'24] Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in ...](https://i.ytimg.com/vi/cMBuYviwtIE/mqdefault.jpg)