A Categorical Approach to Functional Programming (1995)

by Daniel Tuijnman
Venue:Abt. Programmiermethodik und Compilerbau, Fakultat fur informatik, Universitat