A Formal Specification for the Haskell 98 Module System (2002)

by Iavor S. Diatchki, Mark P. Jones, Thomas Hallgrenogi, School Science
Venue:In Proceedings of the 2002 Haskell Workshop