Representing layered monads, in:Proc (1999)

by A Filinski
Venue:26th ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages