@inproceedings{DBLP:conf/haskell/DiatchkiJH02,
 author = {Iavor S. Diatchki and
Mark P. Jones and
Thomas Hallgren},
 bibsource = {dblp computer science bibliography, https://dblp.org},
 biburl = {https://dblp.org/rec/conf/haskell/DiatchkiJH02.bib},
 booktitle = {Proceedings of the 2002 ACM SIGPLAN Workshop on Haskell, Haskell
2002, Pittsburgh, Pennsylvania, USA, October 3, 2002},
 doi = {10.1145/581690.581692},
 editor = {Manuel M. T. Chakravarty},
 pages = {17--28},
 publisher = {ACM},
 timestamp = {Fri, 03 Jun 2022 10:46:18 +0200},
 title = {A formal specification of the Haskell 98 module system},
 url = {https://doi.org/10.1145/581690.581692},
 year = {2002}
}