Jack Hughes - Google Scholar

Get my own profile

Cited by

	All	Since 2020
Citations	30	30
h-index	3	3
i10-index	1	1

0

16

8

20212022202320244 4 6 16

Public access

2 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Dominic OrchardSchool of Computing, University of Kent and Computer Laboratory, University of CambridgeVerified email at kent.ac.uk
Danielle MarshallResearch Associate, University of GlasgowVerified email at glasgow.ac.uk

Jack Hughes

Jack Hughes

Phd Student, University of Kent

Verified email at kent.ac.uk

Programming Languages Program synthesis Type theory Linear logic Compilers


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Linear Exponentials as Graded Modal Types J Hughes, D Marshall, J Wood, D Orchard 5th International Workshop on Trends in Linear Logic and Applications (TLLA …, 2021	12	2021
Resourceful program synthesis from graded linear types J Hughes, D Orchard International Symposium on Logic-Based Program Synthesis and Transformation …, 2020	9	2020
Deriving distributive laws for graded linear types J Hughes, M Vollmer, D Orchard arXiv preprint arXiv:2112.14966, 2021	6	2021
Program synthesis from graded types J Hughes, D Orchard European Symposium on Programming, 83-112, 2024	3	2024

The system can't perform the operation now. Try again later.

Articles 1–4