Programming with Modules as Typed Functional Programming,” procs (1985)

by R Burstall
Venue:of International Conference on Fifth Generation Computing Systems