@TechReport{Haskell98old,
  author =       "Simon {Peyton Jones} and John {Hughes (editors)}",
  title =        "Report on the Programming Language {Haskell 98}",
  institution =  "Yale University, CS Dept.",
  type =         "Technical Report",
  number =       "YALEU/DCS/RR-1106",
  month =        feb,
  year =         "1999",
}

@Misc{Haskell98,
    author =    "Simon {Peyton Jones (editor)}",
    title =     "Report on the Programming Language {Haskell~98}",
    howpublished = "\verb!http://research.microsoft.com/! \verb!~simonpj/haskell98-revised/!",
    month =     "March",
    year =      "2002",
}
%%howpublished = "http://research.microsoft.com/$\sim$simonpj/ haskell98-revised/",

@Misc{GHC-ref-man,
    author =    "{The GHC team}",
    title =     "The {Glasgow} {Haskell} {Compiler} User's Guide Version 5.04",
    howpublished = "\verb!http://haskell.org/ghc/!",
    month =     "July",
    year =      "2002",
}

@inproceedings{thih,
 author =       "Mark P. Jones",
 title =        "Typing {Haskell} in {Haskell}",
 booktitle =    "Proceedings of the 3rd {Haskell} Workshop",
 address =      "Paris, France",
 month =        "October",
 year =         "1999"
}


@Book{ML97,
  author =       "Robin Milner and Mads Tofte and Robert Harper and
                 David MacQueen",
  year =         "1997",
  title =        "The {Definition} of {Standard ML} (Revised)",
  publisher =    "The MIT Press",
  semno =        "D-346",
  puf =          "Bog",
  id =           "Bog",
}

@Book{Alg90,
  author =        "B. A. Davey and H. A. Priestley",
  year =          "1990",
  title =         "Introduction to Lattices and Order",
  publisher =     "Cambridge University Press", 
}

@InProceedings{Wad85,
  author =        "Philip Wadler",
  title =         "How to replace failure by a list of successes",
  booktitle =     "In 2'nd International Conference on Functional Programming Languages and Computer Architecture",
  address =       "Nancy,France",
  month =         "September",
  year =          "1985",
  publisher =     "Springer-Verlag",
}

@inproceedings{shields-pj:first-class-modules,
  author = "MB Shields and SL {Peyton~Jones}",
  title = "First class modules for {Haskell}",
  booktitle = "9th International Conference on Foundations of Object-Oriented Languages ({FOOL} 9), Portland, Oregon",
  month = Jan,
  year = 2002,
  pages = "28-40"
}


@InProceedings{harper+:sharing,
  author =   "Robert Harper and Mark Lillibridge",
  title =    "A Type-Theoretic Approach to Higher-Order Modules with
          Sharing",
  pages =    "123--137",
  booktitle = "Proc. of 1994 ACM Symposium on Principles of Programming Languages",
  year =     1994,
  address =      "Portland, OR",
  month =    "January"
}

@inproceedings{MacQueen:86,
author = "David B. MacQueen",
title = "Using Dependent Types to Express Modular Structure",
booktitle = "Proc. of 1986 ACM Symposium on Principles of Programming Languages",
note = "St. Petersburg",
month = {January},
year = {1986},
pages = "277--286"}

@ARTICLE{Leroy-modular-modules,
  AUTHOR = {Xavier Leroy},
  TITLE = {A modular module system},
  JOURNAL = {Journal of Functional Programming},
  VOLUME = 10,
  NUMBER = 3,
  YEAR = 2000,
  PAGES = {269--303},
  URL = {http://pauillac.inria.fr/~xleroy/publi/modular-modules-jfp.ps.gz},
}






@Unpublished{SPJWad92,
  author = 	 "Simon {Peyton Jones} and Philip Wadler",
  title = 	 "A static semantics for {Haskell}",
  note = 	 "Unpublished draft",
  year =	 1992,
  howpublished = "http://research.microsoft.com/~simonpj/Papers/static-semantics.dvi.gz",
  address = 	 "Department of Computing Science, University of Glasgow"
}

@Article{Faxen02,
  author = 	 {Karl-Filip Faxén},
  title = 	 "{A Static Semantics for Haskell}",
  journal = 	 {Journal of Functional Programming},
  year = 	 2002,
  note =	 {To appear}
}

@misc{hallgren:alfa-homepage,
		  author = {T. Hallgren},
                  year = {1996-2002},
		  title = {{Home Page of the Proof Editor Alfa}},
		  howpublished = {\verb!http://www.cs.chalmers.se/~hallgren/Alfa/!},
                  documentURL = {http://www.cs.chalmers.se/~hallgren/Alfa/}
		  }