Seguir
Jack Hughes
Jack Hughes
Phd Student, University of Kent
Dirección de correo verificada de kent.ac.uk
Título
Citado por
Citado por
Año
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
82021
Resourceful program synthesis from graded linear types
J Hughes, D Orchard
Logic-Based Program Synthesis and Transformation: 30th International …, 2021
72021
Deriving distributive laws for graded linear types
J Hughes, M Vollmer, D Orchard
arXiv preprint arXiv:2112.14966, 2021
52021
Program Synthesis from Graded Types
J Hughes, D Orchard
European Symposium on Programming, 83-112, 2024
2024
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–4