Some New Approaches in Functional Programming Based on Categories. - Viliam Slodicák; Pavol Macko; Valerie Novitzká (CEFP, 2011)

Some New Approaches in Functional Programming Using Algebras and Coalgebras. - Viliam Slodicák; Pavol Macko (WGT@ETAPS, 2011)