Meaning-Typed Programming: Language-level Abstractions and Runtime for GenAI Applications

被引：0

作者：

Mars, Jason ^{[1
]}

Kang, Yiping ^{[1
]}

Dantanarayana, Jayanaka L. ^{[1
]}

Sivasothynathan, Kugesan ^{[2
]}

Clarke, Christopher ^{[1
]}

Li, Baichuan ^{[1
]}

Flautner, Krisztian ^{[1
]}

Tang, Lingjia ^{[1
]}

机构：

[1] University of Michigan, United States

[2] University of Moratuwa Jaseci Labs, Sri Lanka

来源：

arXiv |

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

Application programs - High level languages - Logic programming - Program compilers

引用