An Overview of Miranda (1986)

by D A Turner
Venue:Wad71] Wadsworth, C.P. Semantics and Pragmatics of the >.-Calculus, Ph.D