Spegion: Implicit and Non-Lexical Regions with Sized Allocations
Jack Hughes, Michael Vollmer, Mark Batty.
European Conference on Object-Oriented Programming (ECOOP 25)
arxiv: 2506.02182 [PDF]

Program Synthesis from Linear and Graded Types (PhD Thesis)
Jack Hughes.
University of Kent, 2024.
doi: 10.22024/UniKent/01.02.107798 [PDF]

Program Synthesis from Graded Types
Jack Hughes, Dominic Orchard.
European Symposium on Programming (ESOP 2024)
doi: 10.1007/978-3-031-57262-3_4 [PDF]

Deriving Distributive Laws for Graded Linear Types
Jack Hughes, Michael Vollmer, Dominic Orchard.
Workshop on Linearity & Trends in Linear Logic and Applications (Linearity & TLLA 2020).
doi: 10.4204/EPTCS.353.6 [PDF]

Linear Exponentials as Graded Modal Types
Jack Hughes, Daniel Marshall, James Wood, Dominic Orchard.
Workshop on Trends in Linear Logic and Applications (TLLA 2021)
HAL Id: lirmm-03271465 [PDF]

Resourceful Program Synthesis from Graded Linear Types 🥇
Jack Hughes, Dominic Orchard.
Logic-Based Program Synthesis and Transformation (LOPSTR 2020)
doi: 10.1007/978-3-030-68446-4_8 [PDF]