Resourceful Program Synthesis from Graded Linear Types. - Jack Hughes 002; Dominic Orchard (LOPSTR, 2020)

Deriving Distributive Laws for Graded Linear Types. - Jack Hughes 002; Michael Vollmer 003; Dominic Orchard (Linearity&TLLA@IJCAR-FSCD, 2020)

Program Synthesis from Graded Types. - Jack Hughes 002; Dominic Orchard (ESOP (1), 2024)

Spegion: Implicit and Non-Lexical Regions with Sized Allocations. - Jack Hughes 002; Michael Vollmer 003; Mark Batty (ECOOP, 2025)