Higher-rank polymorphism | TACO Labhttps://cse.hkust.edu.hk/~parreaux/tag/higher-rank-polymorphism/Higher-rank polymorphismWowchemy (https://wowchemy.com)en-usMon, 25 Aug 2025 00:00:00 +0000https://cse.hkust.edu.hk/~parreaux/media/icon_hue8e79bebc7e8de6f1cd50d5da6155654_3094_512x512_fill_lanczos_center_3.pngHigher-rank polymorphismhttps://cse.hkust.edu.hk/~parreaux/tag/higher-rank-polymorphism/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/