External Source
[oopsla'25] Qualified Types With Boolean Algebras
Synopsis
Qualified Types with Boolean Algebras (Video, OOPSLA2 2025) Edward Lee, Jonathan Lindegaard Starup, Ondřej Lhoták, and ...
You Might Also Like
![[OOPSLA'25] Type-Outference with Label-Listeners: Foundations for Decidable Type-Consistency for(…)](https://i.ytimg.com/vi/CYieVNo1Btg/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLCjKoCTBdIzIiYm8_1kpGOap2Tb0g)
![[OOPSLA'25] Modeling Reachability Types with Logical Relations -- Semantic Type Soundness,(…)](https://i.ytimg.com/vi/n_HOE0GIUnw/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLBhGAST6yIU7k2UQgu_LCiv8ugluQ)
![[OOPSLA'25] Structural Information Flow: A Fresh Look at Types for Non-Interference](https://i.ytimg.com/vi/60gftf-nUEM/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLCUOlCaQ7OjD_mdfJb3VdMzNPoSSQ)
![[OOPSLA'25] (TOPLAS) Polynomial Bounds of CFLOBDDs against BDDs](https://i.ytimg.com/vi/fMwC_TDX6yg/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLBXZTIta-uXf1vy5XvB12TVxe1EEQ)
![[OOPSLA'25] Type-Preserving Flat Closure Optimization](https://i.ytimg.com/vi/TGzaPtohjWU/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLCmlP48XgG2QPyoM9Iyy7zObXWoSw)
![[OOPSLA'25] Borrowing From Session Types](https://i.ytimg.com/vi/6OTyXl1fPgA/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLAWB_haLDsxfjJWi4hEJih647c-cQ)
![[OOPSLA'25] A Lightweight Type-and-Effect System for Invalidation Safety: Tracking Permanent and(…)](https://i.ytimg.com/vi/NaGFtFrNybE/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLB2C6G9-wiw0w6Z69XtGG0UTOGIaw)
![[OOPSLA'25] Syntactic Completions with Material Obligations](https://i.ytimg.com/vi/j_gMWhPpq0U/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLC-jPocNOSDNAKTCt5oTcJeI2kO-g)
![[OOPSLA'25] Universal Scalability in Declarative Program Analysis (with Choice-Based Combination(…)](https://i.ytimg.com/vi/5vP9TMwf4Mo/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLCDQPtiZoXYbWoWpuQCIoSTrewJWw)
![[OOPSLA'25] Reasoning about External Calls](https://i.ytimg.com/vi/E7aZ43cuN7E/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLAYxQ9iHd7wgLGDsnQQCFIjNVJj4w)
![[OOPSLA'25] The Simple Essence of Monomorphization](https://i.ytimg.com/vi/xqoTzQ9b9S0/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLAYzUmKDb_N1vMdIwVKLHFh_Gjp5Q)
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.