受强制性开放获取政策约束的文章 - Jack Hughes了解详情
可在其他位置公开访问的文章：2 篇
Resourceful program synthesis from graded linear types
J Hughes, D Orchard
Logic-Based Program Synthesis and Transformation: 30th International …, 2021
强制性开放获取政策： UK Engineering and Physical Sciences Research Council
Program Synthesis from Graded Types
J Hughes, D Orchard
European Symposium on Programming, 83-112, 2024
强制性开放获取政策： UK Engineering and Physical Sciences Research Council
出版信息和资助信息由计算机程序自动确定