Lazy Linearity for a Core Functional Language accepted at POPL 2026 Rodrigo Mesquita, Adam Gundry Friday, 28 November 2025
Explicit Level Imports awarded best paper at TFP 2025 Matthew Pickering, Rodrigo Mesquita, Adam Gundry Wednesday, 30 April 2025