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

by J B Wells, R Vestergaard
Venue:In Proc. of ESOP. LNCS