"Some New Approaches in Functional Programming Based on Categories."

Viliam Slodicák, Pavol Macko, Valerie Novitzká (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics