@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}" }