Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/haskell/AdamsD12,
  author       = {Michael D. Adams and
                  Thomas DuBuisson},
  editor       = {Janis Voigtl{\"{a}}nder},
  title        = {Template your boilerplate: using template haskell for efficient generic
                  programming},
  booktitle    = {Proceedings of the 5th {ACM} {SIGPLAN} Symposium on Haskell, Haskell
                  2012, Copenhagen, Denmark, 13 September 2012},
  pages        = {13--24},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2364506.2364509},
  doi          = {10.1145/2364506.2364509},
  timestamp    = {Thu, 24 Jun 2021 16:19:29 +0200},
  biburl       = {https://dblp.org/rec/conf/haskell/AdamsD12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/haskell/AllenE12,
  author       = {Wyatt Allen and
                  Martin Erwig},
  editor       = {Janis Voigtl{\"{a}}nder},
  title        = {Surveyor: a {DSEL} for representing and analyzing strongly typed surveys},
  booktitle    = {Proceedings of the 5th {ACM} {SIGPLAN} Symposium on Haskell, Haskell
                  2012, Copenhagen, Denmark, 13 September 2012},
  pages        = {81--90},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2364506.2364518},
  doi          = {10.1145/2364506.2364518},
  timestamp    = {Thu, 24 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/haskell/AllenE12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/haskell/Claessen12,
  author       = {Koen Claessen},
  editor       = {Janis Voigtl{\"{a}}nder},
  title        = {Shrinking and showing functions: \emph{(functional pearl)}},
  booktitle    = {Proceedings of the 5th {ACM} {SIGPLAN} Symposium on Haskell, Haskell
                  2012, Copenhagen, Denmark, 13 September 2012},
  pages        = {73--80},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2364506.2364516},
  doi          = {10.1145/2364506.2364516},
  timestamp    = {Thu, 24 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/haskell/Claessen12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/haskell/DuregardJW12,
  author       = {Jonas Dureg{\aa}rd and
                  Patrik Jansson and
                  Meng Wang},
  editor       = {Janis Voigtl{\"{a}}nder},
  title        = {Feat: functional enumeration of algebraic types},
  booktitle    = {Proceedings of the 5th {ACM} {SIGPLAN} Symposium on Haskell, Haskell
                  2012, Copenhagen, Denmark, 13 September 2012},
  pages        = {61--72},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2364506.2364515},
  doi          = {10.1145/2364506.2364515},
  timestamp    = {Thu, 24 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/haskell/DuregardJW12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/haskell/EisenbergW12,
  author       = {Richard A. Eisenberg and
                  Stephanie Weirich},
  editor       = {Janis Voigtl{\"{a}}nder},
  title        = {Dependently typed programming with singletons},
  booktitle    = {Proceedings of the 5th {ACM} {SIGPLAN} Symposium on Haskell, Haskell
                  2012, Copenhagen, Denmark, 13 September 2012},
  pages        = {117--130},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2364506.2364522},
  doi          = {10.1145/2364506.2364522},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/haskell/EisenbergW12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/haskell/ErdwegRRO12,
  author       = {Sebastian Erdweg and
                  Felix Rieger and
                  Tillmann Rendel and
                  Klaus Ostermann},
  editor       = {Janis Voigtl{\"{a}}nder},
  title        = {Layout-sensitive language extensibility with SugarHaskell},
  booktitle    = {Proceedings of the 5th {ACM} {SIGPLAN} Symposium on Haskell, Haskell
                  2012, Copenhagen, Denmark, 13 September 2012},
  pages        = {149--160},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2364506.2364526},
  doi          = {10.1145/2364506.2364526},
  timestamp    = {Thu, 24 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/haskell/ErdwegRRO12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/haskell/FarmerGKS12,
  author       = {Andrew Farmer and
                  Andy Gill and
                  Ed Komp and
                  Neil Sculthorpe},
  editor       = {Janis Voigtl{\"{a}}nder},
  title        = {The {HERMIT} in the machine: a plugin for the interactive transformation
                  of {GHC} core language programs},
  booktitle    = {Proceedings of the 5th {ACM} {SIGPLAN} Symposium on Haskell, Haskell
                  2012, Copenhagen, Denmark, 13 September 2012},
  pages        = {1--12},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2364506.2364508},
  doi          = {10.1145/2364506.2364508},
  timestamp    = {Thu, 24 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/haskell/FarmerGKS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/haskell/JeuringJA12,
  author       = {Johan Jeuring and
                  Patrik Jansson and
                  Cl{\'{a}}udio Amaral},
  editor       = {Janis Voigtl{\"{a}}nder},
  title        = {Testing type class laws},
  booktitle    = {Proceedings of the 5th {ACM} {SIGPLAN} Symposium on Haskell, Haskell
                  2012, Copenhagen, Denmark, 13 September 2012},
  pages        = {49--60},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2364506.2364514},
  doi          = {10.1145/2364506.2364514},
  timestamp    = {Thu, 24 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/haskell/JeuringJA12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/haskell/KellerCLLJ12,
  author       = {Gabriele Keller and
                  Manuel M. T. Chakravarty and
                  Roman Leshchinskiy and
                  Ben Lippmeier and
                  Simon L. Peyton Jones},
  editor       = {Janis Voigtl{\"{a}}nder},
  title        = {Vectorisation avoidance},
  booktitle    = {Proceedings of the 5th {ACM} {SIGPLAN} Symposium on Haskell, Haskell
                  2012, Copenhagen, Denmark, 13 September 2012},
  pages        = {37--48},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2364506.2364512},
  doi          = {10.1145/2364506.2364512},
  timestamp    = {Thu, 24 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/haskell/KellerCLLJ12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/haskell/LippmeierCKJ12,
  author       = {Ben Lippmeier and
                  Manuel M. T. Chakravarty and
                  Gabriele Keller and
                  Simon L. Peyton Jones},
  editor       = {Janis Voigtl{\"{a}}nder},
  title        = {Guiding parallel array fusion with indexed types},
  booktitle    = {Proceedings of the 5th {ACM} {SIGPLAN} Symposium on Haskell, Haskell
                  2012, Copenhagen, Denmark, 13 September 2012},
  pages        = {25--36},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2364506.2364511},
  doi          = {10.1145/2364506.2364511},
  timestamp    = {Thu, 24 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/haskell/LippmeierCKJ12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/haskell/Swierstra12,
  author       = {Wouter Swierstra},
  editor       = {Janis Voigtl{\"{a}}nder},
  title        = {xmonad in Coq \emph{(experience report)}: programming a window manager
                  in a proof assistant},
  booktitle    = {Proceedings of the 5th {ACM} {SIGPLAN} Symposium on Haskell, Haskell
                  2012, Copenhagen, Denmark, 13 September 2012},
  pages        = {131--136},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2364506.2364523},
  doi          = {10.1145/2364506.2364523},
  timestamp    = {Thu, 24 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/haskell/Swierstra12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/haskell/TereiMJM12,
  author       = {David Terei and
                  Simon Marlow and
                  Simon L. Peyton Jones and
                  David Mazi{\`{e}}res},
  editor       = {Janis Voigtl{\"{a}}nder},
  title        = {Safe haskell},
  booktitle    = {Proceedings of the 5th {ACM} {SIGPLAN} Symposium on Haskell, Haskell
                  2012, Copenhagen, Denmark, 13 September 2012},
  pages        = {137--148},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2364506.2364524},
  doi          = {10.1145/2364506.2364524},
  timestamp    = {Thu, 24 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/haskell/TereiMJM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/haskell/Winograd-CortH12,
  author       = {Daniel Winograd{-}Cort and
                  Paul Hudak},
  editor       = {Janis Voigtl{\"{a}}nder},
  title        = {Wormholes: introducing effects to {FRP}},
  booktitle    = {Proceedings of the 5th {ACM} {SIGPLAN} Symposium on Haskell, Haskell
                  2012, Copenhagen, Denmark, 13 September 2012},
  pages        = {91--104},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2364506.2364519},
  doi          = {10.1145/2364506.2364519},
  timestamp    = {Thu, 24 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/haskell/Winograd-CortH12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/haskell/Yorgey12,
  author       = {Brent A. Yorgey},
  editor       = {Janis Voigtl{\"{a}}nder},
  title        = {Monoids: theme and variations \emph{(functional pearl)}},
  booktitle    = {Proceedings of the 5th {ACM} {SIGPLAN} Symposium on Haskell, Haskell
                  2012, Copenhagen, Denmark, 13 September 2012},
  pages        = {105--116},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2364506.2364520},
  doi          = {10.1145/2364506.2364520},
  timestamp    = {Thu, 24 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/haskell/Yorgey12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/haskell/2012,
  editor       = {Janis Voigtl{\"{a}}nder},
  title        = {Proceedings of the 5th {ACM} {SIGPLAN} Symposium on Haskell, Haskell
                  2012, Copenhagen, Denmark, 13 September 2012},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2364506},
  doi          = {10.1145/2364506},
  isbn         = {978-1-4503-1574-6},
  timestamp    = {Thu, 24 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/haskell/2012.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.