A kernel language for abstract data types and modules (0)

by Rod Burstall, Butler Lampson
Venue:In Kahn et al