Exponential Elimination for Bicartesian Closed Categorical Combinators
Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages 2019, pp. 202019.
Categorical combinators offer a simpler alternative to typed lambda calculi for static analysis and implementation. Since categorical combinators are accompanied by a rich set of conversion rules which arise from categorical laws, they also offer a plethora of opportunities for program optimization. It is unclear, however, how such rules ...More
Get fulltext within 24h
Full Text (Upload PDF)
PPT (Upload PPT)