Jack Hughes - Google Académico

Obter o meu próprio perfil

Citado por

	Todos	Desde 2019
Citações	20	20
Índice h	3	3
Índice i10	0	0

0

8

4

20212022202320243 4 8 5

Acesso público

1 artigo

0 artigos

disponível

não disponível

Com base em autorizações de financiamento

Coautores

Dominic OrchardSchool of Computing, University of Kent and Computer Laboratory, University of CambridgeEmail confirmado em kent.ac.uk
Daniel MarshallPhD Student, University of KentEmail confirmado em kent.ac.uk

Jack Hughes

Jack Hughes

Phd Student, University of Kent

Email confirmado em kent.ac.uk

Programming Languages Program synthesis Type theory Linear logic Compilers


Título Ordenar por citações Ordenar por ano Ordenar por título	Citado por Citado por	Ano
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	8	2021
Resourceful program synthesis from graded linear types J Hughes, D Orchard Logic-Based Program Synthesis and Transformation: 30th International …, 2021	7	2021
Deriving distributive laws for graded linear types J Hughes, M Vollmer, D Orchard arXiv preprint arXiv:2112.14966, 2021	5	2021

O sistema não pode efectuar a operação agora. Tente mais tarde.

Artigos 1–3