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

by Joe Wells, Rene Vestergaard
Venue:In ESOP Proceedings