Robuta

https://plv.colorado.edu/papers/effectively-propositional-higher-order-functional-programming-oopsla26.html PACMPL : Effectively Propositional Higher-Order Functional Programming | CUPLV functional programming effectively higher order