Monads and algebras in the semantics of partial data types (1992)

by Philip Mulry
Venue:Theoretical Computer Science