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

by P S
Venue:Theoretical Computer Science