Equational reasoning for linking with first-class primitive modules (2000)

by J B Wells, R Vestergaard
Venue:In Proc. European Symposium on Programming Languages and Systems