Folgen
Jack Hughes
Jack Hughes
Phd Student, University of Kent
Bestätigte E-Mail-Adresse bei kent.ac.uk
Titel
Zitiert von
Zitiert von
Jahr
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–4