Warren, D. S., & Liu, Y. A. (2024). Programming with High-Level Abstractions, Proceedings of the 3rd Workshop on Logic and Practice of Programming.
Chicago Style (17th ed.) CitationWarren, David S., and Yanhong A. Liu. Programming with High-Level Abstractions, Proceedings of the 3rd Workshop on Logic and Practice of Programming. 2024.
MLA (9th ed.) CitationWarren, David S., and Yanhong A. Liu. Programming with High-Level Abstractions, Proceedings of the 3rd Workshop on Logic and Practice of Programming. 2024.
Warning: These citations may not always be 100% accurate.