An operational approach to combining classical set theory and functional programming languages (1994)

by Douglas J. Howe , Scott D. Stoller
Venue:In Theoretical Aspects of Computer Software, Lecture Notes in Computer Science
Citations:4 - 2 self