Translucent Sums: AFoundation for Higher-Order Module Systems (1997)

by Mark Lillibridge