@misc{ghc-user-guide,
  howpublished = {\url{http://www.haskell.org/ghc/docs/latest/html/users\_guide/index.html}},
  author = {{The GHC Team}},
  year = 2008,
  title = {The {Glorious Glasgow Haskell Compilation System} User's Guide, Version 6.8.2}
}

http://hackage.haskell.org/trac/ghc/wiki/Commentary/Compiler/FC}},
  author = {{GHC Wiki}},
  year = 2006,
  title = {{System FC}: equality constraints and coercions}
}

@misc{ghc-fc-commentary,
  howpublished = {\url{http://hackage.haskell.org/trac/ghc/wiki/Commentary/Compiler/FC}},
  author = {{GHC Wiki}},
  year = 2006,
  title = {{System FC}: equality constraints and coercions}
}

@misc{ghc-api,
  howpublished = {\url{http://haskell.org/haskellwiki/GHC/As\_a\_library}},
  author = {{Haskell Wiki}},
  year = 2007,
  title = {{Using GHC as a library}}
}

@book{haskell98,
	editor = {Simon {Peyton Jones}},
	publisher = {{Cambridge University Press}},
        address = {Cambridge, UK},
	title = {Haskell 98 Language and Libraries: The Revised Report},
	year = {2003}
}

	

@inproceedings{system-fc,
	address = {New York, NY, USA},
	author = {Martin Sulzmann and Manuel M.T. Chakravarty and Simon {Peyton Jones} and Kevin Donnelly},
	booktitle = {{TLDI '07: Proceedings of the 2007 ACM SIGPLAN International Workshop on Types in Language Design and Implementation}},
	pages = {53--66},
	publisher = {ACM},
	title = {{System F} with type equality coercions},
	url = {http://portal.acm.org/citation.cfm?id=1190324},
	year = {2007}
}

@inproceedings{gadts,
 author = {Simon {Peyton Jones} and Dimitrios Vytiniotis and Stephanie Weirich and Geoffrey Washburn},
 title = {Simple unification-based type inference for {GADTs}},
 booktitle = {{ICFP '06: Proceedings of the 2006 ACM SIGPLAN International Conference on Functional Programming}},
 year = {2006},
 pages = {50--61},
 url = "http://research.microsoft.com/Users/simonpj/papers/gadt/index.htm",
 publisher = {ACM},
 address = {New York, NY, USA},
}

@inproceedings{ Launchbury94,
    author = "John Launchbury and Simon L. {Peyton~Jones}",
    title = "Lazy Functional State Threads",
    booktitle = "{SIGPLAN} {Conference} on {Programming Language Design and Implementation}",
    pages = "24-35",
    year = "1994",
    url = "http://citeseer.ist.psu.edu/article/launchbury93lazy.html" }

@inproceedings{ pj:unboxed,
    author = "Simon L. {Peyton~Jones} and John Launchbury",
    title = "Unboxed Values as First Class Citizens in a Non-strict Functional Language",
    booktitle = "Proceedings of the Conference on Functional Programming and Computer Architecture",
    month = "26--28 August",
    publisher = "Springer-Verlag {LNCS}523",
    address = "Cambridge, Massachussets, USA",
    editor = "J. Hughes",
    pages = "636--666",
    year = "1991",
    url = "http://citeseer.ist.psu.edu/jones91unboxed.html" }

@inproceedings{ghc-inliner,
   author = "Simon {Peyton~Jones} and Simon Marlow",
   title = "Secrets of the {Glasgow Haskell Compiler} inliner",
   booktitle = "Workshop on Implementing Declarative Languages",
   year = "1999",
   location = "Paris, France",
   url = "http://research.microsoft.com/Users/simonpj/Papers/inlining/inline.pdf"
}

@article{ comp-by-trans-scp,
    author = "Simon L. {Peyton Jones} and Andr{\'e} L. M. Santos",
    title = "A transformation-based optimiser for {Haskell}",
    journal = "Science of Computer Programming",
    volume = "32",
    number = "1--3",
    pages = "3--47",
    year = "1998",
    url = "http://citeseer.ist.psu.edu/peytonjones98transformationbased.html"
}

@article{ stg-machine,
    author = "Simon L. {Peyton Jones}",
    title = "Implementing Lazy Functional Languages on Stock Hardware: The {Spineless Tagless G-Machine}",
    journal = "Journal of Functional Programming",
    volume = "2",
    number = "2",
    pages = "127-202",
    year = "1992",
    url = "http://citeseer.ist.psu.edu/peytonjones92implementing.html",
}
@inproceedings{ launchbury93natural,
    author = "John Launchbury",
    title = "A Natural Semantics for Lazy Evaluation",
    booktitle = "Conference Record of the Twentieth Annual {ACM} {SIGPLAN}-{SIGACT} Symposium on Principles of Programming Languages",
    address = "Charleston, South Carolina",
    pages = "144--154",
    year = "1993",
    url = "citeseer.ist.psu.edu/launchbury93natural.html" }

@misc{ghcprim,
 howpublished = "\url{http://www.haskell.org/ghc/docs/latest/html/libraries/base/GHC-Prim.html}",
 author = {{The GHC Team}},
 year = 2008,
 title = "Library documentation: {GHC.Prim}"
}