关注
Tristan Knoth
Tristan Knoth
UC San Diego
在 ucsd.edu 的电子邮件经过验证
标题
引用次数
引用次数
年份
Resource-guided program synthesis
T Knoth, D Wang, N Polikarpova, J Hoffmann
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019
622019
Liquid resource types
T Knoth, D Wang, A Reynolds, J Hoffmann, N Polikarpova
Proceedings of the ACM on Programming Languages 4 (ICFP), 1-29, 2020
152020
Type-Directed Program Synthesis
T Knoth
University of California, San Diego, 2023
2023
系统目前无法执行此操作，请稍后再试。
文章 1–3