关注
Jack Hughes
Jack Hughes
Phd Student, University of Kent
在 kent.ac.uk 的电子邮件经过验证
标题
引用次数
引用次数
年份
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
102021
Resourceful program synthesis from graded linear types
J Hughes, D Orchard
Logic-Based Program Synthesis and Transformation: 30th International …, 2021
92021
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
系统目前无法执行此操作，请稍后再试。
文章 1–4