Jack Hughes - Google Scholar

Get my own profile

Cited by

	All	Since 2019
Citations	24	24
h-index	3	3
i10-index	1	1

0

10

5

20212022202320244 4 7 9

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
Daniel MarshallPhD Student, University of KentVerified email at kent.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	10	2021
Resourceful program synthesis from graded linear types J Hughes, D Orchard Logic-Based Program Synthesis and Transformation: 30th International …, 2021	9	2021
Deriving distributive laws for graded linear types J Hughes, M Vollmer, D Orchard arXiv preprint arXiv:2112.14966, 2021	5	2021
Program Synthesis from Graded Types J Hughes, D Orchard European Symposium on Programming, 83-112, 2024		2024

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

Articles 1–4