Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/haskell/AlgehedCJS17,
  author       = {Maximilian Algehed and
                  Koen Claessen and
                  Moa Johansson and
                  Nicholas Smallbone},
  editor       = {Iavor S. Diatchki},
  title        = {QuickSpec: a lightweight theory exploration tool for programmers (system
                  demonstration)},
  booktitle    = {Proceedings of the 10th {ACM} {SIGPLAN} International Symposium on
                  Haskell, Oxford, United Kingdom, September 7-8, 2017},
  pages        = {38--39},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3122955.3122960},
  doi          = {10.1145/3122955.3122960},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/haskell/AlgehedCJS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/haskell/AronssonS17,
  author       = {Markus Aronsson and
                  Mary Sheeran},
  editor       = {Iavor S. Diatchki},
  title        = {Hardware software co-design in Haskell},
  booktitle    = {Proceedings of the 10th {ACM} {SIGPLAN} International Symposium on
                  Haskell, Oxford, United Kingdom, September 7-8, 2017},
  pages        = {162--173},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3122955.3122970},
  doi          = {10.1145/3122955.3122970},
  timestamp    = {Wed, 23 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/haskell/AronssonS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/haskell/BlazevicL17,
  author       = {Mario Blazevic and
                  Jacques L{\'{e}}gar{\'{e}}},
  editor       = {Iavor S. Diatchki},
  title        = {Packrats parse in packs},
  booktitle    = {Proceedings of the 10th {ACM} {SIGPLAN} International Symposium on
                  Haskell, Oxford, United Kingdom, September 7-8, 2017},
  pages        = {14--25},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3122955.3122958},
  doi          = {10.1145/3122955.3122958},
  timestamp    = {Wed, 23 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/haskell/BlazevicL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/haskell/BottuKSOW17,
  author       = {Gert{-}Jan Bottu and
                  Georgios Karachalias and
                  Tom Schrijvers and
                  Bruno C. d. S. Oliveira and
                  Philip Wadler},
  editor       = {Iavor S. Diatchki},
  title        = {Quantified class constraints},
  booktitle    = {Proceedings of the 10th {ACM} {SIGPLAN} International Symposium on
                  Haskell, Oxford, United Kingdom, September 7-8, 2017},
  pages        = {148--161},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3122955.3122967},
  doi          = {10.1145/3122955.3122967},
  timestamp    = {Wed, 23 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/haskell/BottuKSOW17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/haskell/BraquehaisR17,
  author       = {Rudy Braquehais and
                  Colin Runciman},
  editor       = {Iavor S. Diatchki},
  title        = {Speculate: discovering conditional equations and inequalities about
                  black-box functions by reasoning from test results},
  booktitle    = {Proceedings of the 10th {ACM} {SIGPLAN} International Symposium on
                  Haskell, Oxford, United Kingdom, September 7-8, 2017},
  pages        = {40--51},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3122955.3122961},
  doi          = {10.1145/3122955.3122961},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/haskell/BraquehaisR17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/haskell/ChenCN17,
  author       = {Chao{-}Hong Chen and
                  Vikraman Choudhury and
                  Ryan R. Newton},
  editor       = {Iavor S. Diatchki},
  title        = {Adaptive lock-free data structures in Haskell: a general method for
                  concurrent implementation swapping},
  booktitle    = {Proceedings of the 10th {ACM} {SIGPLAN} International Symposium on
                  Haskell, Oxford, United Kingdom, September 7-8, 2017},
  pages        = {197--211},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3122955.3122973},
  doi          = {10.1145/3122955.3122973},
  timestamp    = {Wed, 23 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/haskell/ChenCN17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/haskell/Clifton-Everest17,
  author       = {Robert Clifton{-}Everest and
                  Trevor L. McDonell and
                  Manuel M. T. Chakravarty and
                  Gabriele Keller},
  editor       = {Iavor S. Diatchki},
  title        = {Streaming irregular arrays},
  booktitle    = {Proceedings of the 10th {ACM} {SIGPLAN} International Symposium on
                  Haskell, Oxford, United Kingdom, September 7-8, 2017},
  pages        = {174--185},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3122955.3122971},
  doi          = {10.1145/3122955.3122971},
  timestamp    = {Wed, 23 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/haskell/Clifton-Everest17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/haskell/DawsonGG17,
  author       = {Justin Dawson and
                  Mark Grebe and
                  Andy Gill},
  editor       = {Iavor S. Diatchki},
  title        = {Composable network stacks and remote monads},
  booktitle    = {Proceedings of the 10th {ACM} {SIGPLAN} International Symposium on
                  Haskell, Oxford, United Kingdom, September 7-8, 2017},
  pages        = {86--97},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3122955.3122968},
  doi          = {10.1145/3122955.3122968},
  timestamp    = {Wed, 23 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/haskell/DawsonGG17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/haskell/Ekblad17,
  author       = {Anton Ekblad},
  editor       = {Iavor S. Diatchki},
  title        = {A meta-EDSL for distributed web applications},
  booktitle    = {Proceedings of the 10th {ACM} {SIGPLAN} International Symposium on
                  Haskell, Oxford, United Kingdom, September 7-8, 2017},
  pages        = {75--85},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3122955.3122969},
  doi          = {10.1145/3122955.3122969},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/haskell/Ekblad17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/haskell/KarachaliasS17,
  author       = {Georgios Karachalias and
                  Tom Schrijvers},
  editor       = {Iavor S. Diatchki},
  title        = {Elaboration on functional dependencies: functional dependencies are
                  dead, long live functional dependencies!},
  booktitle    = {Proceedings of the 10th {ACM} {SIGPLAN} International Symposium on
                  Haskell, Oxford, United Kingdom, September 7-8, 2017},
  pages        = {133--147},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3122955.3122966},
  doi          = {10.1145/3122955.3122966},
  timestamp    = {Wed, 23 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/haskell/KarachaliasS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/haskell/LampropoulosSF17,
  author       = {Leonidas Lampropoulos and
                  Antal Spector{-}Zabusky and
                  Kenneth Foner},
  editor       = {Iavor S. Diatchki},
  title        = {Ode on a random urn (functional pearl)},
  booktitle    = {Proceedings of the 10th {ACM} {SIGPLAN} International Symposium on
                  Haskell, Oxford, United Kingdom, September 7-8, 2017},
  pages        = {26--37},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3122955.3122959},
  doi          = {10.1145/3122955.3122959},
  timestamp    = {Wed, 23 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/haskell/LampropoulosSF17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/haskell/Mokhov17,
  author       = {Andrey Mokhov},
  editor       = {Iavor S. Diatchki},
  title        = {Algebraic graphs with class (functional pearl)},
  booktitle    = {Proceedings of the 10th {ACM} {SIGPLAN} International Symposium on
                  Haskell, Oxford, United Kingdom, September 7-8, 2017},
  pages        = {2--13},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3122955.3122956},
  doi          = {10.1145/3122955.3122956},
  timestamp    = {Wed, 23 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/haskell/Mokhov17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/haskell/PaykinZ17,
  author       = {Jennifer Paykin and
                  Steve Zdancewic},
  editor       = {Iavor S. Diatchki},
  title        = {The linearity Monad},
  booktitle    = {Proceedings of the 10th {ACM} {SIGPLAN} International Symposium on
                  Haskell, Oxford, United Kingdom, September 7-8, 2017},
  pages        = {117--132},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3122955.3122965},
  doi          = {10.1145/3122955.3122965},
  timestamp    = {Wed, 23 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/haskell/PaykinZ17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/haskell/Perez17,
  author       = {Ivan Perez},
  editor       = {Iavor S. Diatchki},
  title        = {Back to the future: time travel in {FRP}},
  booktitle    = {Proceedings of the 10th {ACM} {SIGPLAN} International Symposium on
                  Haskell, Oxford, United Kingdom, September 7-8, 2017},
  pages        = {105--116},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3122955.3122957},
  doi          = {10.1145/3122955.3122957},
  timestamp    = {Wed, 23 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/haskell/Perez17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/haskell/Quick17,
  author       = {Donya Quick},
  editor       = {Iavor S. Diatchki},
  title        = {Algorithmic music in Haskell (invited talk)},
  booktitle    = {Proceedings of the 10th {ACM} {SIGPLAN} International Symposium on
                  Haskell, Oxford, United Kingdom, September 7-8, 2017},
  pages        = {98},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3122955.3127334},
  doi          = {10.1145/3122955.3127334},
  timestamp    = {Wed, 23 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/haskell/Quick17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/haskell/Remy17,
  author       = {Didier R{\'{e}}my},
  editor       = {Iavor S. Diatchki},
  title        = {Ornaments: exploiting parametricity for safer, more automated code
                  refactorization and code reuse (invited talk)},
  booktitle    = {Proceedings of the 10th {ACM} {SIGPLAN} International Symposium on
                  Haskell, Oxford, United Kingdom, September 7-8, 2017},
  pages        = {1},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3122955.3127333},
  doi          = {10.1145/3122955.3127333},
  timestamp    = {Wed, 23 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/haskell/Remy17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/haskell/SzamozvancevG17,
  author       = {Dmitrij Szamozvancev and
                  Michael B. Gale},
  editor       = {Iavor S. Diatchki},
  title        = {Well-typed music does not sound wrong (experience report)},
  booktitle    = {Proceedings of the 10th {ACM} {SIGPLAN} International Symposium on
                  Haskell, Oxford, United Kingdom, September 7-8, 2017},
  pages        = {99--104},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3122955.3122964},
  doi          = {10.1145/3122955.3122964},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/haskell/SzamozvancevG17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/haskell/VazouLP17,
  author       = {Niki Vazou and
                  Leonidas Lampropoulos and
                  Jeff Polakow},
  editor       = {Iavor S. Diatchki},
  title        = {A tale of two provers: verifying monoidal string matching in liquid
                  Haskell and Coq},
  booktitle    = {Proceedings of the 10th {ACM} {SIGPLAN} International Symposium on
                  Haskell, Oxford, United Kingdom, September 7-8, 2017},
  pages        = {63--74},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3122955.3122963},
  doi          = {10.1145/3122955.3122963},
  timestamp    = {Wed, 23 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/haskell/VazouLP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/haskell/WiegleyD17,
  author       = {John Wiegley and
                  Benjamin Delaware},
  editor       = {Iavor S. Diatchki},
  title        = {Using Coq to write fast and correct Haskell},
  booktitle    = {Proceedings of the 10th {ACM} {SIGPLAN} International Symposium on
                  Haskell, Oxford, United Kingdom, September 7-8, 2017},
  pages        = {52--62},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3122955.3122962},
  doi          = {10.1145/3122955.3122962},
  timestamp    = {Wed, 23 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/haskell/WiegleyD17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/haskell/YatesS17,
  author       = {Ryan Yates and
                  Michael L. Scott},
  editor       = {Iavor S. Diatchki},
  title        = {Improving {STM} performance with transactional structs},
  booktitle    = {Proceedings of the 10th {ACM} {SIGPLAN} International Symposium on
                  Haskell, Oxford, United Kingdom, September 7-8, 2017},
  pages        = {186--196},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3122955.3122972},
  doi          = {10.1145/3122955.3122972},
  timestamp    = {Wed, 23 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/haskell/YatesS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/haskell/2017,
  editor       = {Iavor S. Diatchki},
  title        = {Proceedings of the 10th {ACM} {SIGPLAN} International Symposium on
                  Haskell, Oxford, United Kingdom, September 7-8, 2017},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3122955},
  doi          = {10.1145/3122955},
  isbn         = {978-1-4503-5182-9},
  timestamp    = {Wed, 23 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/haskell/2017.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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.