2 howpublished = {\url{http://www.haskell.org/ghc/docs/latest/html/users\_guide/index.html}},
3 author = {{The GHC Team}},
5 title = {The {Glorious Glasgow Haskell Compilation System} User's Guide, Version 6.8.2}
8 http://hackage.haskell.org/trac/ghc/wiki/Commentary/Compiler/FC}},
11 title = {{System FC}: equality constraints and coercions}
14 @misc{ghc-fc-commentary,
15 howpublished = {\url{http://hackage.haskell.org/trac/ghc/wiki/Commentary/Compiler/FC}},
16 author = {{GHC Wiki}},
18 title = {{System FC}: equality constraints and coercions}
22 howpublished = {\url{http://haskell.org/haskellwiki/GHC/As\_a\_library}},
23 author = {{Haskell Wiki}},
25 title = {{Using GHC as a library}}
29 editor = {Simon {Peyton Jones}},
30 publisher = {{Cambridge University Press}},
31 address = {Cambridge, UK},
32 title = {Haskell 98 Language and Libraries: The Revised Report},
38 @inproceedings{system-fc,
39 address = {New York, NY, USA},
40 author = {Martin Sulzmann and Manuel M.T. Chakravarty and Simon {Peyton Jones} and Kevin Donnelly},
41 booktitle = {{TLDI '07: Proceedings of the 2007 ACM SIGPLAN International Workshop on Types in Language Design and Implementation}},
44 title = {{System F} with type equality coercions},
45 url = {http://portal.acm.org/citation.cfm?id=1190324},
50 author = {Simon {Peyton Jones} and Dimitrios Vytiniotis and Stephanie Weirich and Geoffrey Washburn},
51 title = {Simple unification-based type inference for {GADTs}},
52 booktitle = {{ICFP '06: Proceedings of the 2006 ACM SIGPLAN International Conference on Functional Programming}},
55 url = "http://research.microsoft.com/Users/simonpj/papers/gadt/index.htm",
57 address = {New York, NY, USA},
60 @inproceedings{ Launchbury94,
61 author = "John Launchbury and Simon L. {Peyton~Jones}",
62 title = "Lazy Functional State Threads",
63 booktitle = "{SIGPLAN} {Conference} on {Programming Language Design and Implementation}",
66 url = "http://citeseer.ist.psu.edu/article/launchbury93lazy.html" }
68 @inproceedings{ pj:unboxed,
69 author = "Simon L. {Peyton~Jones} and John Launchbury",
70 title = "Unboxed Values as First Class Citizens in a Non-strict Functional Language",
71 booktitle = "Proceedings of the Conference on Functional Programming and Computer Architecture",
72 month = "26--28 August",
73 publisher = "Springer-Verlag {LNCS}523",
74 address = "Cambridge, Massachussets, USA",
78 url = "http://citeseer.ist.psu.edu/jones91unboxed.html" }
80 @inproceedings{ghc-inliner,
81 author = "Simon {Peyton~Jones} and Simon Marlow",
82 title = "Secrets of the {Glasgow Haskell Compiler} inliner",
83 booktitle = "Workshop on Implementing Declarative Languages",
85 location = "Paris, France",
86 url = "http://research.microsoft.com/Users/simonpj/Papers/inlining/inline.pdf"
89 @article{ comp-by-trans-scp,
90 author = "Simon L. {Peyton Jones} and Andr{\'e} L. M. Santos",
91 title = "A transformation-based optimiser for {Haskell}",
92 journal = "Science of Computer Programming",
97 url = "http://citeseer.ist.psu.edu/peytonjones98transformationbased.html"
100 @article{ stg-machine,
101 author = "Simon L. {Peyton Jones}",
102 title = "Implementing Lazy Functional Languages on Stock Hardware: The {Spineless Tagless G-Machine}",
103 journal = "Journal of Functional Programming",
108 url = "http://citeseer.ist.psu.edu/peytonjones92implementing.html",
110 @inproceedings{ launchbury93natural,
111 author = "John Launchbury",
112 title = "A Natural Semantics for Lazy Evaluation",
113 booktitle = "Conference Record of the Twentieth Annual {ACM} {SIGPLAN}-{SIGACT} Symposium on Principles of Programming Languages",
114 address = "Charleston, South Carolina",
117 url = "citeseer.ist.psu.edu/launchbury93natural.html" }
120 howpublished = "\url{http://www.haskell.org/ghc/docs/latest/html/libraries/base/GHC-Prim.html}",
121 author = {{The GHC Team}},
123 title = "Library documentation: {GHC.Prim}"