학술논문
Decalf: A Directed, Effectful Cost-Aware Logical Framework
Document Type
Article
Author
Source
In: Proceedings of the ACM on Programming Languages . (Proceedings of the ACM on Programming Languages, 5 January 2024, 8)
Subject
Language
English
ISSN
24751421