A primitive calculus for module systems. Pages 62–79 of: Nadathur, Gopalan (ed), PPDP’99 - international conference on principles and practice of declarative programming (1999)

by Davide Ancona, Elena Zucca
Venue:Lecture Notes in Computer Science