Functors, Types and Shapes (1998)

by C B Jay, E Moggi, G Bellè
Venue:Chalmers University of Technology