Iavor S. Diatchki, Mark P. Jones, Thomas Hallgren. A formal specification of the Haskell 98 module system. In Manuel M. T. Chakravarty, editor, Proceedings of the 2002 ACM SIGPLAN Workshop on Haskell, Haskell 2002, Pittsburgh, Pennsylvania, USA, October 3, 2002. pages 17-28, ACM, 2002. [doi]
Abstract is missing.