Representing layered monads, in (1999)

by A Filinski
Venue:Proc., 26th ACM SIGPLANSIGACT Symp. on Principles of Programming Languages