Representing layered monads (1999)

by A Filinski
Venue:In POPL. ACM