Jack Hughes

According to our database, Jack Hughes authored at least 4 papers between 2020 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Spegion: Implicit and Non-Lexical Regions with Sized Allocations.

Jack Hughes, Michael Vollmer, Mark Batty

Proceedings of the 39th European Conference on Object-Oriented Programming, 2025

2024

Program Synthesis from Graded Types.

Jack Hughes, Dominic Orchard

Proceedings of the Programming Languages and Systems, 2024

2020

Deriving Distributive Laws for Graded Linear Types.

Jack Hughes, Michael Vollmer, Dominic Orchard

Proceedings of the Proceedings Second Joint International Workshop on Linearity & Trends in Linear Logic and Applications, 2020

Resourceful Program Synthesis from Graded Linear Types.

Jack Hughes, Dominic Orchard

Proceedings of the Logic-Based Program Synthesis and Transformation, 2020