Representing Layered Monads (1999)

by Andrzej Filinski
Venue:PROCEEDINGS OF THE TWENTY-SIXTH ANNUAL ACM SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES