Unified algebras and modules (1989)

by Peter D Mosses
Venue:In Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages