@phdthesis{Leijen:phd,
  author = {Daan Leijen},
  title  = {{T}he $\lambda$ {A}broad - 
            {A} {F}unctional {A}pproach to {S}oftware {C}omponents},
  school = {Utrecht University},
  year   = 2003,
  month  = nov,
  url    = {http://www.cs.uu.nl/people/daan/pubs.html}
}

@inproceedings{Leijen:1999:DSE,
  author =       "Daan Leijen and Erik Meijer",
  title =        "{D}omain-{S}pecific {E}mbedded {C}ompilers",
  editor =       "{USENIX}",
  booktitle =    "Proceedings of the 2nd Conference on Domain-Specific
                 Languages ({DSL} '99), October 3--5, 1999, Austin,
                 Texas, {USA}",
  publisher =    "USENIX",
  address =      "Berkeley, CA, USA",
  ISBN =         "1-880446-27-8, 1-58113-255-7",
  pages =        "109--122",
  year =         "1999",
  bibdate =      "Fri Oct 18 06:52:22 2002",
  URL =          "http://www.usenix.org/publications/library/proceedings/dsl99/leijen.html",
  acknowledgement = ack-nhfb,
}

@techreport{GasterJones96,
  author  = {Benedict R. Gaster and Mark P. Jones},
  title   = {{A} {P}olymorphic {T}ype {S}ystem for {E}xtensible {R}ecords and 
            {V}ariants},
  institution = {Department of Computer Science, University of Nottingham},
  year    = 1996,
  number  = {NOTTCS-TR-96-3},
  month   = nov,
  topics  = {Records,Type Systems},
  url     = {http://www.cse.ogi.edu/$\sim$mpj/pubs/polyrec.html},
}

@inproceedings{jones:fundeps,
  author = {Mark P. Jones},
  title = {{T}ype {C}lasses with {F}unctional {D}ependencies},
  booktitle = {Proceedings of the 9th European Symposium on 
               Programming Languages and Systems},
  year = {2000},
  isbn = {3-540-67262-1},
  pages = {230--244},
  publisher = {Springer-Verlag},
  url = {http://www.cse.ogi.edu/$\sim$mpj/pubs/fundeps.html}
}

@inproceedings{jones:multi,
  author = {Simon {Peyton Jones} and Mark Jones and Erik Meijer},
  title = {{T}ype classes: {E}xploring the design space},
  booktitle = {Proceedings of the Second Haskell Workshop},
  year = 1997,
  month = jun,
  url = {http://www.cse.ogi.edu/$\sim$mpj/pubs/multi.html}
}

@inproceedings{scriptingTypeInference,
 author = {Bastiaan Heeren and Jurriaan Hage and S. Doaitse Swierstra},
 title = {Scripting the type inference process},
 booktitle = {Proceedings of the eighth ACM SIGPLAN international conference on Functional programming},
 year = {2003},
 isbn = {1-58113-756-7},
 pages = {3--13},
 location = {Uppsala, Sweden},
 doi = {http://doi.acm.org/10.1145/944705.944707},
 publisher = {ACM Press},
 }

@inproceedings{helium,
 author = {Bastiaan Heeren and Daan Leijen and Arjan {van IJzendoorn}},
 title = {{H}elium, for learning {H}askell},
 booktitle = {Proceedings of the ACM SIGPLAN workshop on Haskell},
 year = {2003},
 isbn = {1-58113-758-3},
 pages = {62--71},
 location = {Uppsala, Sweden},
 doi = {http://doi.acm.org/10.1145/871895.871902},
 publisher = {ACM Press},
 }

@inproceedings{metahaskell,
    author = "Tim Sheard and Simon {Peyton Jones}",
    title = "Template metaprogramming for {Haskell}",
    booktitle = "ACM SIGPLAN Haskell Workshop 02",
    year = 2002,
    month = oct, 
    pages = "1-16",
    editor = "Manuel M. T. Chakravarty",
    publisher = "ACM Press"
}

@inproceedings{PSSC04,
  author = "Andr{\'e} Pang and Don Stewart and Sean Seefried and Manuel M. T. Chakravarty",
  title = "{Plugging Haskell In}",
  year  = 2004,
  booktitle = "ACM SIGPLAN Haskell Workshop 04",
  publisher = "ACM Press"
}

@Book{sql92,
  author =       "{International Organization for Standardization}",
  title =        "{ISO\slash IEC} 9075:1992: Title: Information
                 technology --- Database languages --- {SQL}",
  publisher =    "International Organization for Standardization",
  address =      "Geneva, Switzerland",
  pages =        "587",
  year =         "1992",
  bibdate =      "Wed Jul 01 11:02:07 1998",
  note =         "Available in English only.",
  price =        "CHF 348",
  URL =          "http://www.iso.ch/cate/d16663.html",
  acknowledgement = ack-nhfb,
  pricecode =    "XM",
}

@misc{sqlinjection,
  title="{CERT Vulnerability Note VU\#282403}",
  url="{http://www.kb.cert.org/vuls/id/282403}",
  month=sep,
  year=2002,
}

@inproceedings{KLS04,
 author = "Oleg Kiselyov and Ralf L{\"a}mmel and Keean Schupke",
 title = "{Strongly typed heterogeneous collections}",
 year = 2004,
 booktitle = "ACM SIGPLAN Haskell Workshop 04",
 publisher = "ACM Press"
}