docs/ext-core/core.bib

   1 @misc{ghc-user-guide,
   2   howpublished = {\url{http://www.haskell.org/ghc/docs/latest/html/users\_guide/index.html}},
   3   author = {{The GHC Team}},
   4   year = 2008,
   5   title = {The {Glorious Glasgow Haskell Compilation System} User's Guide, Version 6.8.2}
   6 }
   7
   8 http://hackage.haskell.org/trac/ghc/wiki/Commentary/Compiler/FC}},
   9   author = {{GHC Wiki}},
  10   year = 2006,
  11   title = {{System FC}: equality constraints and coercions}
  12 }
  13
  14 @misc{ghc-fc-commentary,
  15   howpublished = {\url{http://hackage.haskell.org/trac/ghc/wiki/Commentary/Compiler/FC}},
  16   author = {{GHC Wiki}},
  17   year = 2006,
  18   title = {{System FC}: equality constraints and coercions}
  19 }
  20
  21 @misc{ghc-api,
  22   howpublished = {\url{http://haskell.org/haskellwiki/GHC/As\_a\_library}},
  23   author = {{Haskell Wiki}},
  24   year = 2007,
  25   title = {{Using GHC as a library}}
  26 }
  27
  28 @book{haskell98,
  29         editor = {Simon {Peyton Jones}},
  30         publisher = {{Cambridge University Press}},
  31         address = {Cambridge, UK},
  32         title = {Haskell 98 Language and Libraries: The Revised Report},
  33         year = {2003}
  34 }
  35
  36
  37
  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}},
  42         pages = {53--66},
  43         publisher = {ACM},
  44         title = {{System F} with type equality coercions},
  45         url = {http://portal.acm.org/citation.cfm?id=1190324},
  46         year = {2007}
  47 }
  48
  49 @inproceedings{gadts,
  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}},
  53  year = {2006},
  54  pages = {50--61},
  55  url = "http://research.microsoft.com/Users/simonpj/papers/gadt/index.htm",
  56  publisher = {ACM},
  57  address = {New York, NY, USA},
  58 }
  59
  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}",
  64     pages = "24-35",
  65     year = "1994",
  66     url = "http://citeseer.ist.psu.edu/article/launchbury93lazy.html" }
  67
  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",
  75     editor = "J. Hughes",
  76     pages = "636--666",
  77     year = "1991",
  78     url = "http://citeseer.ist.psu.edu/jones91unboxed.html" }
  79
  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",
  84    year = "1999",
  85    location = "Paris, France",
  86    url = "http://research.microsoft.com/Users/simonpj/Papers/inlining/inline.pdf"
  87 }
  88
  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",
  93     volume = "32",
  94     number = "1--3",
  95     pages = "3--47",
  96     year = "1998",
  97     url = "http://citeseer.ist.psu.edu/peytonjones98transformationbased.html"
  98 }
  99
 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",
 104     volume = "2",
 105     number = "2",
 106     pages = "127-202",
 107     year = "1992",
 108     url = "http://citeseer.ist.psu.edu/peytonjones92implementing.html",
 109 }
 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",
 115     pages = "144--154",
 116     year = "1993",
 117     url = "citeseer.ist.psu.edu/launchbury93natural.html" }
 118
 119 @misc{ghcprim,
 120  howpublished = "\url{http://www.haskell.org/ghc/docs/latest/html/libraries/base/GHC-Prim.html}",
 121  author = {{The GHC Team}},
 122  year = 2008,
 123  title = "Library documentation: {GHC.Prim}"
 124 }