Unified algebras and modules (1989)

by Peter D Mosses
Venue:In Sixteenth Symposium on Principles of Programming Languages