- Nicholas V. Lewchenko, Kunha Kim, Gowtham Kaki, and Bor-Yuh Evan Chang. 2026. Effectively Propositional Higher-Order Functional Programming. Accepted to ACM OOPSLA 2026 R1. Preprint here.
cuplv/ravencheck-papers
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|