Exponential Elimination for Bicartesian Closed Categorical Combinators

Nachiappan Valliappan
Nachiappan Valliappan

Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages 2019, pp. 202019.

Cited by: 0|Views4
EI

Abstract:

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

Code:

Data:

Get fulltext within 24h
Bibtex
Your rating :
0

 

Tags
Comments