Jack Hughes

Orcid: 0000-0003-3174-4689

Affiliations:

According to our database¹, Jack Hughes authored at least 3 papers between 2020 and 2024.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2024

Program Synthesis from Graded Types.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2024

2020

Deriving Distributive Laws for Graded Linear Types.

[BibT_eX]

[DOI]

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

Resourceful Program Synthesis from Graded Linear Types.

[BibT_eX]

[DOI]

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