A formal specification of the Haskell 98 module system

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]

Authors

Iavor S. Diatchki

This author has not been identified. Look up 'Iavor S. Diatchki' in Google

Mark P. Jones

This author has not been identified. Look up 'Mark P. Jones' in Google

Thomas Hallgren

This author has not been identified. Look up 'Thomas Hallgren' in Google