A Categorical Approach to Functional Programming (1995)

by Daniël Tuijnman
Venue:Universität Ulm