Polymorphic Subtyping | TACO Labhttps://cse.hkust.edu.hk/~parreaux/tag/polymorphic-subtyping/Polymorphic SubtypingWowchemy (https://wowchemy.com)en-usTue, 25 Aug 2026 00:00:00 +0000https://cse.hkust.edu.hk/~parreaux/media/icon_hue8e79bebc7e8de6f1cd50d5da6155654_3094_512x512_fill_lanczos_center_3.pngPolymorphic Subtypinghttps://cse.hkust.edu.hk/~parreaux/tag/polymorphic-subtyping/Exploring First-Class Constrained Typeshttps://cse.hkust.edu.hk/~parreaux/publication/icfp26/Tue, 25 Aug 2026 00:00:00 +0000https://cse.hkust.edu.hk/~parreaux/publication/icfp26/