Effectively Propositional Higher-Order Functional Programming
PACMPL
Reference
2026
Effectively Propositional Higher-Order Functional Programming
Proceedings of the ACM on Programming Languages
PACMPL

