Update External Core docs

[ghc-hetmet.git] / docs / ext-core / core.bib

diff --git a/docs/ext-core/core.bib b/docs/ext-core/core.bib
new file mode 100644 (file)
index 0000000..2c65197
--- /dev/null
+++ b/docs/ext-core/core.bib
@@ -0,0 +1,124 @@
+@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