Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/haskell/DerrinEKCC06,
  author       = {Philip Derrin and
                  Kevin Elphinstone and
                  Gerwin Klein and
                  David A. Cock and
                  Manuel M. T. Chakravarty},
  editor       = {Andres L{\"{o}}h},
  title        = {Running the manual: an approach to high-assurance microkernel development},
  booktitle    = {Proceedings of the {ACM} {SIGPLAN} Workshop on Haskell, Haskell 2006,
                  Portland, Oregon, USA, September 17, 2006},
  pages        = {60--71},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1159842.1159850},
  doi          = {10.1145/1159842.1159850},
  timestamp    = {Wed, 21 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/haskell/DerrinEKCC06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/haskell/DiatchkiJ06,
  author       = {Iavor S. Diatchki and
                  Mark P. Jones},
  editor       = {Andres L{\"{o}}h},
  title        = {Strongly typed memory areas programming systems-level data structures
                  in a functional language},
  booktitle    = {Proceedings of the {ACM} {SIGPLAN} Workshop on Haskell, Haskell 2006,
                  Portland, Oregon, USA, September 17, 2006},
  pages        = {72--83},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1159842.1159851},
  doi          = {10.1145/1159842.1159851},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/haskell/DiatchkiJ06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/haskell/Eaton06,
  author       = {Frederik Eaton},
  editor       = {Andres L{\"{o}}h},
  title        = {Statically typed linear algebra in Haskell},
  booktitle    = {Proceedings of the {ACM} {SIGPLAN} Workshop on Haskell, Haskell 2006,
                  Portland, Oregon, USA, September 17, 2006},
  pages        = {120--121},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1159842.1159859},
  doi          = {10.1145/1159842.1159859},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/haskell/Eaton06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/haskell/Gill06,
  author       = {Andy Gill},
  editor       = {Andres L{\"{o}}h},
  title        = {Introducing the Haskell equational reasoning assistant},
  booktitle    = {Proceedings of the {ACM} {SIGPLAN} Workshop on Haskell, Haskell 2006,
                  Portland, Oregon, USA, September 17, 2006},
  pages        = {108--109},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1159842.1159856},
  doi          = {10.1145/1159842.1159856},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/haskell/Gill06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/haskell/Himmelstrup06,
  author       = {David Himmelstrup},
  editor       = {Andres L{\"{o}}h},
  title        = {Interactive debugging with GHCi},
  booktitle    = {Proceedings of the {ACM} {SIGPLAN} Workshop on Haskell, Haskell 2006,
                  Portland, Oregon, USA, September 17, 2006},
  pages        = {107},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1159842.1159855},
  doi          = {10.1145/1159842.1159855},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/haskell/Himmelstrup06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/haskell/Jones06,
  author       = {Isaac Jones},
  editor       = {Andres L{\"{o}}h},
  title        = {Haskell' status report},
  booktitle    = {Proceedings of the {ACM} {SIGPLAN} Workshop on Haskell, Haskell 2006,
                  Portland, Oregon, USA, September 17, 2006},
  pages        = {122},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1159842.1159860},
  doi          = {10.1145/1159842.1159860},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/haskell/Jones06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/haskell/Kagawa06,
  author       = {Koji Kagawa},
  editor       = {Andres L{\"{o}}h},
  title        = {Polymorphic variants in Haskell},
  booktitle    = {Proceedings of the {ACM} {SIGPLAN} Workshop on Haskell, Haskell 2006,
                  Portland, Oregon, USA, September 17, 2006},
  pages        = {37--47},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1159842.1159848},
  doi          = {10.1145/1159842.1159848},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/haskell/Kagawa06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/haskell/Kow06,
  author       = {Eric Kow},
  editor       = {Andres L{\"{o}}h},
  title        = {GenI: natural language generation in Haskell},
  booktitle    = {Proceedings of the {ACM} {SIGPLAN} Workshop on Haskell, Haskell 2006,
                  Portland, Oregon, USA, September 17, 2006},
  pages        = {110--119},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1159842.1159858},
  doi          = {10.1145/1159842.1159858},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/haskell/Kow06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/haskell/Marlow06,
  author       = {Simon Marlow},
  editor       = {Andres L{\"{o}}h},
  title        = {An extensible dynamically-typed hierarchy of exceptions},
  booktitle    = {Proceedings of the {ACM} {SIGPLAN} Workshop on Haskell, Haskell 2006,
                  Portland, Oregon, USA, September 17, 2006},
  pages        = {96--106},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1159842.1159854},
  doi          = {10.1145/1159842.1159854},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/haskell/Marlow06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/haskell/RenE06,
  author       = {Deling Ren and
                  Martin Erwig},
  editor       = {Andres L{\"{o}}h},
  title        = {A generic recursion toolbox for Haskell or: scrap your boilerplate
                  systematically},
  booktitle    = {Proceedings of the {ACM} {SIGPLAN} Workshop on Haskell, Haskell 2006,
                  Portland, Oregon, USA, September 17, 2006},
  pages        = {13--24},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1159842.1159845},
  doi          = {10.1145/1159842.1159845},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/haskell/RenE06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/haskell/SilvaV06,
  author       = {Alexandra Silva and
                  Joost Visser},
  editor       = {Andres L{\"{o}}h},
  title        = {Strong types for relational databases},
  booktitle    = {Proceedings of the {ACM} {SIGPLAN} Workshop on Haskell, Haskell 2006,
                  Portland, Oregon, USA, September 17, 2006},
  pages        = {25--36},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1159842.1159846},
  doi          = {10.1145/1159842.1159846},
  timestamp    = {Sun, 26 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/haskell/SilvaV06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/haskell/Thiemann06,
  author       = {Peter Thiemann},
  editor       = {Andres L{\"{o}}h},
  title        = {User-level transactional programming in Haskell},
  booktitle    = {Proceedings of the {ACM} {SIGPLAN} Workshop on Haskell, Haskell 2006,
                  Portland, Oregon, USA, September 17, 2006},
  pages        = {84--95},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1159842.1159853},
  doi          = {10.1145/1159842.1159853},
  timestamp    = {Mon, 23 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/haskell/Thiemann06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/haskell/Weirich06,
  author       = {Stephanie Weirich},
  editor       = {Andres L{\"{o}}h},
  title        = {RepLib: a library for derivable type classes},
  booktitle    = {Proceedings of the {ACM} {SIGPLAN} Workshop on Haskell, Haskell 2006,
                  Portland, Oregon, USA, September 17, 2006},
  pages        = {1--12},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1159842.1159844},
  doi          = {10.1145/1159842.1159844},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/haskell/Weirich06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/haskell/Xu06,
  author       = {Dana N. Xu},
  editor       = {Andres L{\"{o}}h},
  title        = {Extended static checking for haskell},
  booktitle    = {Proceedings of the {ACM} {SIGPLAN} Workshop on Haskell, Haskell 2006,
                  Portland, Oregon, USA, September 17, 2006},
  pages        = {48--59},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1159842.1159849},
  doi          = {10.1145/1159842.1159849},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/haskell/Xu06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/haskell/2006,
  editor       = {Andres L{\"{o}}h},
  title        = {Proceedings of the {ACM} {SIGPLAN} Workshop on Haskell, Haskell 2006,
                  Portland, Oregon, USA, September 17, 2006},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1159842},
  doi          = {10.1145/1159842},
  isbn         = {1-59593-489-8},
  timestamp    = {Mon, 12 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/haskell/2006.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.