Equational Reasoning for Linking with First-Class Primitive Modules.

J. B. Wells, Ren Vestergaard

Browse the full ESOP paper archive.