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

Cached

Download Links

by Joe Wells , René Vestergaard
Venue:In ESOP 2000 - European Symposium on Programming 2000, number 1782 in Lecture Notes in Computer Science
Citations:17 - 3 self