Equational Reasoning for Linking with First-Class Primitive Modules (2000)

Cached

Download Links

by J. B. Wells , René Vestergaard
Venue:In European Symposium on Programming
Citations:27 - 5 self