Search dblp for Publications

export results for "toc:db/conf/haskell/haskell2010.bht:"

 download as .bib file

@inproceedings{DBLP:conf/haskell/BolingbrokeJ10,
  author       = {Maximilian C. Bolingbroke and
                  Simon L. Peyton Jones},
  editor       = {Jeremy Gibbons},
  title        = {Supercompilation by evaluation},
  booktitle    = {Proceedings of the 3rd {ACM} {SIGPLAN} Symposium on Haskell, Haskell
                  2010, Baltimore, MD, USA, 30 September 2010},
  pages        = {135--146},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1863523.1863540},
  doi          = {10.1145/1863523.1863540},
  timestamp    = {Tue, 22 Jun 2021 17:10:56 +0200},
  biburl       = {https://dblp.org/rec/conf/haskell/BolingbrokeJ10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/haskell/GroningenNAKP10,
  author       = {John H. G. van Groningen and
                  Thomas van Noort and
                  Peter Achten and
                  Pieter W. M. Koopman and
                  Rinus Plasmeijer},
  editor       = {Jeremy Gibbons},
  title        = {Exchanging sources between clean and Haskell: a double-edged front
                  end for the clean compiler},
  booktitle    = {Proceedings of the 3rd {ACM} {SIGPLAN} Symposium on Haskell, Haskell
                  2010, Baltimore, MD, USA, 30 September 2010},
  pages        = {49--60},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1863523.1863530},
  doi          = {10.1145/1863523.1863530},
  timestamp    = {Sat, 21 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/haskell/GroningenNAKP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/haskell/LaunchburyE10,
  author       = {John Launchbury and
                  Trevor Elliott},
  editor       = {Jeremy Gibbons},
  title        = {Concurrent orchestration in Haskell},
  booktitle    = {Proceedings of the 3rd {ACM} {SIGPLAN} Symposium on Haskell, Haskell
                  2010, Baltimore, MD, USA, 30 September 2010},
  pages        = {79--90},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1863523.1863534},
  doi          = {10.1145/1863523.1863534},
  timestamp    = {Tue, 22 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/haskell/LaunchburyE10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/haskell/MagalhaesDJL10,
  author       = {Jos{\'{e}} Pedro Magalh{\~{a}}es and
                  Atze Dijkstra and
                  Johan Jeuring and
                  Andres L{\"{o}}h},
  editor       = {Jeremy Gibbons},
  title        = {A generic deriving mechanism for Haskell},
  booktitle    = {Proceedings of the 3rd {ACM} {SIGPLAN} Symposium on Haskell, Haskell
                  2010, Baltimore, MD, USA, 30 September 2010},
  pages        = {37--48},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1863523.1863529},
  doi          = {10.1145/1863523.1863529},
  timestamp    = {Tue, 22 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/haskell/MagalhaesDJL10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/haskell/MainlandM10,
  author       = {Geoffrey Mainland and
                  Greg Morrisett},
  editor       = {Jeremy Gibbons},
  title        = {Nikola: embedding compiled {GPU} functions in Haskell},
  booktitle    = {Proceedings of the 3rd {ACM} {SIGPLAN} Symposium on Haskell, Haskell
                  2010, Baltimore, MD, USA, 30 September 2010},
  pages        = {67--78},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1863523.1863533},
  doi          = {10.1145/1863523.1863533},
  timestamp    = {Tue, 22 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/haskell/MainlandM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/haskell/MarlowMLAT10,
  author       = {Simon Marlow and
                  Patrick Maier and
                  Hans{-}Wolfgang Loidl and
                  Mustafa Aswad and
                  Philip W. Trinder},
  editor       = {Jeremy Gibbons},
  title        = {Seq no more: better strategies for parallel Haskell},
  booktitle    = {Proceedings of the 3rd {ACM} {SIGPLAN} Symposium on Haskell, Haskell
                  2010, Baltimore, MD, USA, 30 September 2010},
  pages        = {91--102},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1863523.1863535},
  doi          = {10.1145/1863523.1863535},
  timestamp    = {Tue, 22 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/haskell/MarlowMLAT10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/haskell/Morris10,
  author       = {J. Garrett Morris},
  editor       = {Jeremy Gibbons},
  title        = {Experience report: using hackage to inform language design},
  booktitle    = {Proceedings of the 3rd {ACM} {SIGPLAN} Symposium on Haskell, Haskell
                  2010, Baltimore, MD, USA, 30 September 2010},
  pages        = {61--66},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1863523.1863531},
  doi          = {10.1145/1863523.1863531},
  timestamp    = {Tue, 22 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/haskell/Morris10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/haskell/OSullivanT10,
  author       = {Bryan O'Sullivan and
                  Johan Tibell},
  editor       = {Jeremy Gibbons},
  title        = {Scalable i/o event handling for {GHC}},
  booktitle    = {Proceedings of the 3rd {ACM} {SIGPLAN} Symposium on Haskell, Haskell
                  2010, Baltimore, MD, USA, 30 September 2010},
  pages        = {103--108},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1863523.1863536},
  doi          = {10.1145/1863523.1863536},
  timestamp    = {Tue, 22 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/haskell/OSullivanT10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/haskell/PirogB10,
  author       = {Maciej Pir{\'{o}}g and
                  Dariusz Biernacki},
  editor       = {Jeremy Gibbons},
  title        = {A systematic derivation of the {STG} machine verified in Coq},
  booktitle    = {Proceedings of the 3rd {ACM} {SIGPLAN} Symposium on Haskell, Haskell
                  2010, Baltimore, MD, USA, 30 September 2010},
  pages        = {25--36},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1863523.1863528},
  doi          = {10.1145/1863523.1863528},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/haskell/PirogB10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/haskell/RamseyDJ10,
  author       = {Norman Ramsey and
                  Jo{\~{a}}o Dias and
                  Simon L. Peyton Jones},
  editor       = {Jeremy Gibbons},
  title        = {Hoopl: a modular, reusable library for dataflow analysis and transformation},
  booktitle    = {Proceedings of the 3rd {ACM} {SIGPLAN} Symposium on Haskell, Haskell
                  2010, Baltimore, MD, USA, 30 September 2010},
  pages        = {121--134},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1863523.1863539},
  doi          = {10.1145/1863523.1863539},
  timestamp    = {Tue, 22 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/haskell/RamseyDJ10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/haskell/RendelO10,
  author       = {Tillmann Rendel and
                  Klaus Ostermann},
  editor       = {Jeremy Gibbons},
  title        = {Invertible syntax descriptions: unifying parsing and pretty printing},
  booktitle    = {Proceedings of the 3rd {ACM} {SIGPLAN} Symposium on Haskell, Haskell
                  2010, Baltimore, MD, USA, 30 September 2010},
  pages        = {1--12},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1863523.1863525},
  doi          = {10.1145/1863523.1863525},
  timestamp    = {Tue, 22 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/haskell/RendelO10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/haskell/Straka10,
  author       = {Milan Straka},
  editor       = {Jeremy Gibbons},
  title        = {The performance of the Haskell containers package},
  booktitle    = {Proceedings of the 3rd {ACM} {SIGPLAN} Symposium on Haskell, Haskell
                  2010, Baltimore, MD, USA, 30 September 2010},
  pages        = {13--24},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1863523.1863526},
  doi          = {10.1145/1863523.1863526},
  timestamp    = {Tue, 22 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/haskell/Straka10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/haskell/TereiC10,
  author       = {David A. Terei and
                  Manuel M. T. Chakravarty},
  editor       = {Jeremy Gibbons},
  title        = {An llVM backend for {GHC}},
  booktitle    = {Proceedings of the 3rd {ACM} {SIGPLAN} Symposium on Haskell, Haskell
                  2010, Baltimore, MD, USA, 30 September 2010},
  pages        = {109--120},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1863523.1863538},
  doi          = {10.1145/1863523.1863538},
  timestamp    = {Tue, 22 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/haskell/TereiC10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/haskell/Yorgey10,
  author       = {Brent A. Yorgey},
  editor       = {Jeremy Gibbons},
  title        = {Species and functors and types, oh my!},
  booktitle    = {Proceedings of the 3rd {ACM} {SIGPLAN} Symposium on Haskell, Haskell
                  2010, Baltimore, MD, USA, 30 September 2010},
  pages        = {147--158},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1863523.1863542},
  doi          = {10.1145/1863523.1863542},
  timestamp    = {Tue, 22 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/haskell/Yorgey10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/haskell/2010,
  editor       = {Jeremy Gibbons},
  title        = {Proceedings of the 3rd {ACM} {SIGPLAN} Symposium on Haskell, Haskell
                  2010, Baltimore, MD, USA, 30 September 2010},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1863523},
  doi          = {10.1145/1863523},
  isbn         = {978-1-4503-0252-4},
  timestamp    = {Tue, 22 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/haskell/2010.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.