Module System
Careful reading of the Haskell report
- Several problems were identified. Corrections for the revised Haskell 98 report were submitted.
Formal specification of the Haskell 98 module system
- Work in progress
- Mark Jones, Iavor Diatchki, Thomas Hallgren