+@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}"
+}
\ No newline at end of file