Reference

2026
Effectively Propositional Higher-Order Functional Programming
Nicholas V. Lewchenko, Kunha Kim, Bor-Yuh Evan Chang, and Gowtham Kaki
Proceedings of the ACM on Programming Languages PACMPL

Abstract