Boolean-algebraic subtyping | TACO Labhttps://cse.hkust.edu.hk/~parreaux/tag/boolean-algebraic-subtyping/Boolean-algebraic subtypingWowchemy (https://wowchemy.com)en-usMon, 05 Jan 2026 00:00:00 +0000https://cse.hkust.edu.hk/~parreaux/media/icon_hue8e79bebc7e8de6f1cd50d5da6155654_3094_512x512_fill_lanczos_center_3.pngBoolean-algebraic subtypinghttps://cse.hkust.edu.hk/~parreaux/tag/boolean-algebraic-subtyping/The Simple Essence of Boolean-Algebraic Subtypinghttps://cse.hkust.edu.hk/~parreaux/publication/popl26/Mon, 05 Jan 2026 00:00:00 +0000https://cse.hkust.edu.hk/~parreaux/publication/popl26/A Lightweight Type-and-Effect System for Invalidation Safetyhttps://cse.hkust.edu.hk/~parreaux/publication/oopsla25/Mon, 25 Aug 2025 00:00:00 +0000https://cse.hkust.edu.hk/~parreaux/publication/oopsla25/MLstruct: Principal Type Inference in a Boolean Algebra of Structural Typeshttps://cse.hkust.edu.hk/~parreaux/publication/oopsla22a/Sun, 02 Oct 2022 00:00:00 +0000https://cse.hkust.edu.hk/~parreaux/publication/oopsla22a/