BibTeX records: Nicolas Wu

download as .bib file

@inproceedings{DBLP:conf/haskell/PickeringWK19,
  author    = {Matthew Pickering and
               Nicolas Wu and
               Csongor Kiss},
  title     = {Multi-stage programs in context},
  booktitle = {Proceedings of the 12th {ACM} {SIGPLAN} International Symposium on
               Haskell, Haskell@ICFP 2019, Berlin, Germany, August 18-23, 2019},
  pages     = {71--84},
  year      = {2019},
  crossref  = {DBLP:conf/haskell/2019},
  url       = {https://doi.org/10.1145/3331545.3342597},
  doi       = {10.1145/3331545.3342597},
  timestamp = {Mon, 29 Jul 2019 11:20:30 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/haskell/PickeringWK19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/PickeringWN19,
  author    = {Matthew Pickering and
               Nicolas Wu and
               Boldizs{\'{a}}r N{\'{e}}meth},
  title     = {Working with source plugins},
  booktitle = {Proceedings of the 12th {ACM} {SIGPLAN} International Symposium on
               Haskell, Haskell@ICFP 2019, Berlin, Germany, August 18-23, 2019},
  pages     = {85--97},
  year      = {2019},
  crossref  = {DBLP:conf/haskell/2019},
  url       = {https://doi.org/10.1145/3331545.3342599},
  doi       = {10.1145/3331545.3342599},
  timestamp = {Mon, 29 Jul 2019 11:20:30 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/haskell/PickeringWN19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/SchrijversPWJ19,
  author    = {Tom Schrijvers and
               Maciej Pir{\'{o}}g and
               Nicolas Wu and
               Mauro Jaskelioff},
  title     = {Monad transformers and modular algebraic effects: what binds them
               together},
  booktitle = {Proceedings of the 12th {ACM} {SIGPLAN} International Symposium on
               Haskell, Haskell@ICFP 2019, Berlin, Germany, August 18-23, 2019},
  pages     = {98--113},
  year      = {2019},
  crossref  = {DBLP:conf/haskell/2019},
  url       = {https://doi.org/10.1145/3331545.3342595},
  doi       = {10.1145/3331545.3342595},
  timestamp = {Mon, 29 Jul 2019 11:20:30 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/haskell/SchrijversPWJ19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/InnesW19,
  author    = {Sean Innes and
               Nicolas Wu},
  title     = {Tic tac types: a gentle introduction to dependently typed programming
               (functional pearl)},
  booktitle = {Proceedings of the 4th {ACM} {SIGPLAN} International Workshop on Type-Driven
               Development, TyDe@ICFP 2019, Berlin, Germany, August 18, 2019},
  pages     = {40--51},
  year      = {2019},
  crossref  = {DBLP:conf/icfp/2019tyde},
  url       = {https://doi.org/10.1145/3331554.3342606},
  doi       = {10.1145/3331554.3342606},
  timestamp = {Wed, 31 Jul 2019 11:17:24 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/InnesW19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/KissPW18,
  author    = {Csongor Kiss and
               Matthew Pickering and
               Nicolas Wu},
  title     = {Generic deriving of generic traversals},
  journal   = {{PACMPL}},
  volume    = {2},
  number    = {{ICFP}},
  pages     = {85:1--85:30},
  year      = {2018},
  url       = {https://doi.org/10.1145/3236780},
  doi       = {10.1145/3236780},
  timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/pacmpl/KissPW18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/GibbonsHHW18,
  author    = {Jeremy Gibbons and
               Fritz Henglein and
               Ralf Hinze and
               Nicolas Wu},
  title     = {Relational algebra by way of adjunctions},
  journal   = {{PACMPL}},
  volume    = {2},
  number    = {{ICFP}},
  pages     = {86:1--86:28},
  year      = {2018},
  url       = {https://doi.org/10.1145/3236781},
  doi       = {10.1145/3236781},
  timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/pacmpl/GibbonsHHW18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/PirogSWJ18,
  author    = {Maciej Pir{\'{o}}g and
               Tom Schrijvers and
               Nicolas Wu and
               Mauro Jaskelioff},
  title     = {Syntax and Semantics for Operations with Scopes},
  booktitle = {Proceedings of the 33rd Annual {ACM/IEEE} Symposium on Logic in Computer
               Science, {LICS} 2018, Oxford, UK, July 09-12, 2018},
  pages     = {809--818},
  year      = {2018},
  crossref  = {DBLP:conf/lics/2018},
  url       = {https://doi.org/10.1145/3209108.3209166},
  doi       = {10.1145/3209108.3209166},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lics/PirogSWJ18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scala/WillisW18,
  author    = {Jamie Willis and
               Nicolas Wu},
  title     = {Garnishing parsec with parsley},
  booktitle = {Proceedings of the 9th {ACM} {SIGPLAN} International Symposium on
               Scala, SCALA@ICFP 2018, St. Louis, MO, USA, September 28, 2018},
  pages     = {24--34},
  year      = {2018},
  crossref  = {DBLP:conf/scala/2018},
  url       = {https://doi.org/10.1145/3241653.3241656},
  doi       = {10.1145/3241653.3241656},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/scala/WillisW18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/haskell/2018,
  editor    = {Nicolas Wu},
  title     = {Proceedings of the 11th {ACM} {SIGPLAN} International Symposium on
               Haskell, Haskell@ICFP 2018, St. Louis, MO, USA, September 27-17, 2018},
  publisher = {{ACM}},
  year      = {2018},
  url       = {https://doi.org/10.1145/3242744},
  doi       = {10.1145/3242744},
  timestamp = {Tue, 11 Dec 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/haskell/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1805-06798,
  author    = {Csongor Kiss and
               Matthew Pickering and
               Nicolas Wu},
  title     = {Generic Deriving of Generic Traversals},
  journal   = {CoRR},
  volume    = {abs/1805.06798},
  year      = {2018},
  url       = {http://arxiv.org/abs/1805.06798},
  archivePrefix = {arXiv},
  eprint    = {1805.06798},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1805-06798},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijmi/WongWW17,
  author    = {David Wong and
               Nicolas Wu and
               Peter J. Watkinson},
  title     = {Quantitative metrics for evaluating the phased roll-out of clinical
               information systems},
  journal   = {I. J. Medical Informatics},
  volume    = {105},
  pages     = {130--135},
  year      = {2017},
  url       = {https://doi.org/10.1016/j.ijmedinf.2017.06.007},
  doi       = {10.1016/j.ijmedinf.2017.06.007},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ijmi/WongWW17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/programming/PickeringGW17,
  author    = {Matthew Pickering and
               Jeremy Gibbons and
               Nicolas Wu},
  title     = {Profunctor Optics: Modular Data Accessors},
  journal   = {Programming Journal},
  volume    = {1},
  number    = {2},
  pages     = {7},
  year      = {2017},
  url       = {https://doi.org/10.22152/programming-journal.org/2017/1/7},
  doi       = {10.22152/programming-journal.org/2017/1/7},
  timestamp = {Wed, 06 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/programming/PickeringGW17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifl/2017,
  editor    = {Nicolas Wu},
  title     = {Proceedings of the 29th Symposium on Implementation and Application
               of Functional Programming Languages, {IFL} 2017, Bristol, UK, August
               30 - September 01, 2017},
  publisher = {{ACM}},
  year      = {2017},
  url       = {https://doi.org/10.1145/3205368},
  doi       = {10.1145/3205368},
  timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ifl/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/PickeringGW17,
  author    = {Matthew Pickering and
               Jeremy Gibbons and
               Nicolas Wu},
  title     = {Profunctor Optics: Modular Data Accessors},
  journal   = {CoRR},
  volume    = {abs/1703.10857},
  year      = {2017},
  url       = {http://arxiv.org/abs/1703.10857},
  archivePrefix = {arXiv},
  eprint    = {1703.10857},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/PickeringGW17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/HinzeW16,
  author    = {Ralf Hinze and
               Nicolas Wu},
  title     = {Unifying structured recursion schemes - An Extended Study},
  journal   = {J. Funct. Program.},
  volume    = {26},
  pages     = {e1},
  year      = {2016},
  url       = {https://doi.org/10.1017/S0956796815000258},
  doi       = {10.1017/S0956796815000258},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jfp/HinzeW16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/PirogW16,
  author    = {Maciej Pir{\'{o}}g and
               Nicolas Wu},
  title     = {String diagrams for free monads (functional pearl)},
  booktitle = {Proceedings of the 21st {ACM} {SIGPLAN} International Conference on
               Functional Programming, {ICFP} 2016, Nara, Japan, September 18-22,
               2016},
  pages     = {490--501},
  year      = {2016},
  crossref  = {DBLP:conf/icfp/2016},
  url       = {https://doi.org/10.1145/2951913.2951947},
  doi       = {10.1145/2951913.2951947},
  timestamp = {Tue, 06 Nov 2018 16:59:25 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/PirogW16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/PirogWG15,
  author    = {Maciej Pir{\'{o}}g and
               Nicolas Wu and
               Jeremy Gibbons},
  title     = {Modules Over Monads and Their Algebras},
  booktitle = {6th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
               2015, June 24-26, 2015, Nijmegen, The Netherlands},
  pages     = {290--303},
  year      = {2015},
  crossref  = {DBLP:conf/calco/2015},
  url       = {https://doi.org/10.4230/LIPIcs.CALCO.2015.290},
  doi       = {10.4230/LIPIcs.CALCO.2015.290},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/calco/PirogWG15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/WuS15,
  author    = {Nicolas Wu and
               Tom Schrijvers},
  title     = {Fusion for Free - Efficient Algebraic Effect Handlers},
  booktitle = {Mathematics of Program Construction - 12th International Conference,
               {MPC} 2015, K{\"{o}}nigswinter, Germany, June 29 - July 1, 2015.
               Proceedings},
  pages     = {302--322},
  year      = {2015},
  crossref  = {DBLP:conf/mpc/2015},
  url       = {https://doi.org/10.1007/978-3-319-19797-5\_15},
  doi       = {10.1007/978-3-319-19797-5\_15},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mpc/WuS15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/HinzeWG15,
  author    = {Ralf Hinze and
               Nicolas Wu and
               Jeremy Gibbons},
  title     = {Conjugate Hylomorphisms - Or: The Mother of All Structured Recursion
               Schemes},
  booktitle = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
               Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
               15-17, 2015},
  pages     = {527--538},
  year      = {2015},
  crossref  = {DBLP:conf/popl/2015},
  url       = {https://doi.org/10.1145/2676726.2676989},
  doi       = {10.1145/2676726.2676989},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/popl/HinzeWG15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/WuS14,
  author    = {Nicolas Wu and
               Andrew C. Simpson},
  title     = {Formal relational database design: an exercise in extending the formal
               template language},
  journal   = {Formal Asp. Comput.},
  volume    = {26},
  number    = {6},
  pages     = {1231--1269},
  year      = {2014},
  url       = {https://doi.org/10.1007/s00165-014-0299-6},
  doi       = {10.1007/s00165-014-0299-6},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/fac/WuS14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/WuSH14,
  author    = {Nicolas Wu and
               Tom Schrijvers and
               Ralf Hinze},
  title     = {Effect handlers in scope},
  booktitle = {Proceedings of the 2014 {ACM} {SIGPLAN} symposium on Haskell, Gothenburg,
               Sweden, September 4-5, 2014},
  pages     = {1--12},
  year      = {2014},
  crossref  = {DBLP:conf/haskell/2014},
  url       = {https://doi.org/10.1145/2633357.2633358},
  doi       = {10.1145/2633357.2633358},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/haskell/WuSH14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/GibbonsW14,
  author    = {Jeremy Gibbons and
               Nicolas Wu},
  title     = {Folding domain-specific languages: deep and shallow embeddings (functional
               Pearl)},
  booktitle = {Proceedings of the 19th {ACM} {SIGPLAN} international conference on
               Functional programming, Gothenburg, Sweden, September 1-3, 2014},
  pages     = {339--347},
  year      = {2014},
  crossref  = {DBLP:conf/icfp/2014},
  url       = {https://doi.org/10.1145/2628136.2628138},
  doi       = {10.1145/2628136.2628138},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/GibbonsW14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/SchrijversWDD14,
  author    = {Tom Schrijvers and
               Nicolas Wu and
               Benoit Desouter and
               Bart Demoen},
  title     = {Heuristics Entwined with Handlers Combined: From Functional Specification
               to Logic Programming Implementation},
  booktitle = {Proceedings of the 16th International Symposium on Principles and
               Practice of Declarative Programming, Kent, Canterbury, United Kingdom,
               September 8-10, 2014},
  pages     = {259--270},
  year      = {2014},
  crossref  = {DBLP:conf/ppdp/2014},
  url       = {https://doi.org/10.1145/2643135.2643145},
  doi       = {10.1145/2643135.2643145},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ppdp/SchrijversWDD14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/HinzeMW13,
  author    = {Ralf Hinze and
               Jos{\'{e}} Pedro Magalh{\~{a}}es and
               Nicolas Wu},
  title     = {A Duality of Sorts},
  booktitle = {The Beauty of Functional Code - Essays Dedicated to Rinus Plasmeijer
               on the Occasion of His 61st Birthday},
  pages     = {151--167},
  year      = {2013},
  crossref  = {DBLP:conf/birthday/2013plasmeijer},
  url       = {https://doi.org/10.1007/978-3-642-40355-2\_11},
  doi       = {10.1007/978-3-642-40355-2\_11},
  timestamp = {Tue, 14 May 2019 10:00:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/birthday/HinzeMW13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/HinzeW13,
  author    = {Ralf Hinze and
               Nicolas Wu},
  title     = {Histo- and dynamorphisms revisited},
  booktitle = {Proceedings of the 9th {ACM} {SIGPLAN} workshop on Generic programming,
               {WGP} 2013, Boston, Massachusetts, USA, September 28, 2013},
  pages     = {1--12},
  year      = {2013},
  crossref  = {DBLP:conf/icfp/2013wgp},
  url       = {https://doi.org/10.1145/2502488.2502496},
  doi       = {10.1145/2502488.2502496},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/HinzeW13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/HinzeWG13,
  author    = {Ralf Hinze and
               Nicolas Wu and
               Jeremy Gibbons},
  title     = {Unifying structured recursion schemes},
  booktitle = {{ACM} {SIGPLAN} International Conference on Functional Programming,
               ICFP'13, Boston, MA, {USA} - September 25 - 27, 2013},
  pages     = {209--220},
  year      = {2013},
  crossref  = {DBLP:conf/icfp/2013},
  url       = {https://doi.org/10.1145/2500365.2500578},
  doi       = {10.1145/2500365.2500578},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/HinzeWG13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/HinzeJHWM12,
  author    = {Ralf Hinze and
               Daniel W. H. James and
               Thomas Harper and
               Nicolas Wu and
               Jos{\'{e}} Pedro Magalh{\~{a}}es},
  title     = {Sorting with bialgebras and distributive laws},
  booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} workshop on Generic programming,
               WGP@ICFP 2012, Copenhagen, Denmark, September 9-15, 2012},
  pages     = {69--80},
  year      = {2012},
  crossref  = {DBLP:conf/icfp/2012wgp},
  url       = {https://doi.org/10.1145/2364394.2364405},
  doi       = {10.1145/2364394.2364405},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/HinzeJHWM12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/WuMBS12,
  author    = {Nicolas Wu and
               Jos{\'{e}} Pedro Magalh{\~{a}}es and
               Jeroen Bransen and
               Wouter Swierstra},
  title     = {Pure and Lazy Lambda Mining - An Experience Report},
  booktitle = {Implementation and Application of Functional Languages - 24th International
               Symposium, {IFL} 2012, Oxford, UK, August 30 - September 1, 2012,
               Revised Selected Papers},
  pages     = {207--223},
  year      = {2012},
  crossref  = {DBLP:conf/ifl/2012},
  url       = {https://doi.org/10.1007/978-3-642-41582-1\_13},
  doi       = {10.1007/978-3-642-41582-1\_13},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ifl/WuMBS12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/HinzeW11,
  author    = {Ralf Hinze and
               Nicolas Wu},
  title     = {Towards a categorical foundation for generic programming},
  booktitle = {Proceedings of the seventh {ACM} {SIGPLAN} workshop on Generic programming,
               WGP@ICFP 2011, Tokyo, Japan, September 19-21, 2011},
  pages     = {47--58},
  year      = {2011},
  crossref  = {DBLP:conf/icfp/2011wgp},
  url       = {https://doi.org/10.1145/2036918.2036926},
  doi       = {10.1145/2036918.2036926},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/HinzeW11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/WangGW11,
  author    = {Meng Wang and
               Jeremy Gibbons and
               Nicolas Wu},
  title     = {Incremental updates for efficient bidirectional transformations},
  booktitle = {Proceeding of the 16th {ACM} {SIGPLAN} international conference on
               Functional Programming, {ICFP} 2011, Tokyo, Japan, September 19-21,
               2011},
  pages     = {392--403},
  year      = {2011},
  crossref  = {DBLP:conf/icfp/2011},
  url       = {https://doi.org/10.1145/2034773.2034825},
  doi       = {10.1145/2034773.2034825},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/WangGW11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Wu10b,
  author    = {Nicolas Wu},
  title     = {Generative templates for formal metamodel design},
  school    = {University of Oxford, {UK}},
  year      = {2010},
  url       = {http://ora.ox.ac.uk/objects/uuid:c6b38d2e-0923-4a9b-a4eb-74c6638fd26a},
  timestamp = {Thu, 25 Aug 2016 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/phd/ethos/Wu10b},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/WuS10,
  author    = {Nicolas Wu and
               Andrew Simpson},
  title     = {Towards Formally Templated Relational Database Representations in
               {Z}},
  booktitle = {Abstract State Machines, Alloy, {B} and Z, Second International Conference,
               {ABZ} 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings},
  pages     = {363--376},
  year      = {2010},
  crossref  = {DBLP:conf/asm/2010},
  url       = {https://doi.org/10.1007/978-3-642-11811-1\_27},
  doi       = {10.1007/978-3-642-11811-1\_27},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/asm/WuS10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/haskell/2019,
  editor    = {Richard A. Eisenberg},
  title     = {Proceedings of the 12th {ACM} {SIGPLAN} International Symposium on
               Haskell, Haskell@ICFP 2019, Berlin, Germany, August 18-23, 2019},
  publisher = {{ACM}},
  year      = {2019},
  url       = {https://dl.acm.org/citation.cfm?id=3331545},
  isbn      = {978-1-4503-6813-1},
  timestamp = {Mon, 29 Jul 2019 11:20:30 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/haskell/2019},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2019tyde,
  editor    = {David Darais and
               Jeremy Gibbons},
  title     = {Proceedings of the 4th {ACM} {SIGPLAN} International Workshop on Type-Driven
               Development, TyDe@ICFP 2019, Berlin, Germany, August 18, 2019},
  publisher = {{ACM}},
  year      = {2019},
  url       = {https://dl.acm.org/citation.cfm?id=3331554},
  isbn      = {978-1-4503-6815-5},
  timestamp = {Wed, 31 Jul 2019 11:17:24 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/2019tyde},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lics/2018,
  editor    = {Anuj Dawar and
               Erich Gr{\"{a}}del},
  title     = {Proceedings of the 33rd Annual {ACM/IEEE} Symposium on Logic in Computer
               Science, {LICS} 2018, Oxford, UK, July 09-12, 2018},
  publisher = {{ACM}},
  year      = {2018},
  url       = {https://doi.org/10.1145/3209108},
  doi       = {10.1145/3209108},
  timestamp = {Wed, 21 Nov 2018 12:44:18 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lics/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/scala/2018,
  editor    = {Sebastian Erdweg and
               Bruno C. d. S. Oliveira},
  title     = {Proceedings of the 9th {ACM} {SIGPLAN} International Symposium on
               Scala, SCALA@ICFP 2018, St. Louis, MO, USA, September 28, 2018},
  publisher = {{ACM}},
  year      = {2018},
  url       = {https://doi.org/10.1145/3241653},
  doi       = {10.1145/3241653},
  timestamp = {Tue, 11 Dec 2018 19:20:16 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/scala/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2016,
  editor    = {Jacques Garrigue and
               Gabriele Keller and
               Eijiro Sumii},
  title     = {Proceedings of the 21st {ACM} {SIGPLAN} International Conference on
               Functional Programming, {ICFP} 2016, Nara, Japan, September 18-22,
               2016},
  publisher = {{ACM}},
  year      = {2016},
  url       = {https://doi.org/10.1145/2951913},
  doi       = {10.1145/2951913},
  isbn      = {978-1-4503-4219-3},
  timestamp = {Tue, 06 Nov 2018 16:59:25 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/calco/2015,
  editor    = {Lawrence S. Moss and
               Pawe{\l} Soboci{\'{n}}ski},
  title     = {6th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
               2015, June 24-26, 2015, Nijmegen, The Netherlands},
  series    = {LIPIcs},
  volume    = {35},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2015},
  url       = {http://www.dagstuhl.de/dagpub/978-3-939897-84-2},
  isbn      = {978-3-939897-84-2},
  timestamp = {Thu, 02 May 2019 17:40:15 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/calco/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mpc/2015,
  editor    = {Ralf Hinze and
               Janis Voigtl{\"{a}}nder},
  title     = {Mathematics of Program Construction - 12th International Conference,
               {MPC} 2015, K{\"{o}}nigswinter, Germany, June 29 - July 1, 2015.
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9129},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-19797-5},
  doi       = {10.1007/978-3-319-19797-5},
  isbn      = {978-3-319-19796-8},
  timestamp = {Tue, 14 May 2019 10:00:46 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mpc/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/popl/2015,
  editor    = {Sriram K. Rajamani and
               David Walker},
  title     = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
               Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
               15-17, 2015},
  publisher = {{ACM}},
  year      = {2015},
  url       = {http://dl.acm.org/citation.cfm?id=2676726},
  isbn      = {978-1-4503-3300-9},
  timestamp = {Sat, 20 Dec 2014 16:56:16 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/haskell/2014,
  editor    = {Wouter Swierstra},
  title     = {Proceedings of the 2014 {ACM} {SIGPLAN} symposium on Haskell, Gothenburg,
               Sweden, September 4-5, 2014},
  publisher = {{ACM}},
  year      = {2014},
  url       = {http://dl.acm.org/citation.cfm?id=2633357},
  isbn      = {978-1-4503-3041-1},
  timestamp = {Mon, 08 Sep 2014 16:10:48 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/haskell/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2014,
  editor    = {Johan Jeuring and
               Manuel M. T. Chakravarty},
  title     = {Proceedings of the 19th {ACM} {SIGPLAN} international conference on
               Functional programming, Gothenburg, Sweden, September 1-3, 2014},
  publisher = {{ACM}},
  year      = {2014},
  url       = {http://dl.acm.org/citation.cfm?id=2628136},
  isbn      = {978-1-4503-2873-9},
  timestamp = {Thu, 20 Nov 2014 18:05:13 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ppdp/2014,
  editor    = {Olaf Chitil and
               Andy King and
               Olivier Danvy},
  title     = {Proceedings of the 16th International Symposium on Principles and
               Practice of Declarative Programming, Kent, Canterbury, United Kingdom,
               September 8-10, 2014},
  publisher = {{ACM}},
  year      = {2014},
  url       = {http://dl.acm.org/citation.cfm?id=2643135},
  isbn      = {978-1-4503-2947-7},
  timestamp = {Wed, 29 Mar 2017 16:45:25 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ppdp/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2013plasmeijer,
  editor    = {Peter Achten and
               Pieter W. M. Koopman},
  title     = {The Beauty of Functional Code - Essays Dedicated to Rinus Plasmeijer
               on the Occasion of His 61st Birthday},
  series    = {Lecture Notes in Computer Science},
  volume    = {8106},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-40355-2},
  doi       = {10.1007/978-3-642-40355-2},
  isbn      = {978-3-642-40354-5},
  timestamp = {Tue, 14 May 2019 10:00:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/birthday/2013plasmeijer},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2013wgp,
  editor    = {Jacques Carette and
               Jeremiah Willcock},
  title     = {Proceedings of the 9th {ACM} {SIGPLAN} workshop on Generic programming,
               {WGP} 2013, Boston, Massachusetts, USA, September 28, 2013},
  publisher = {{ACM}},
  year      = {2013},
  url       = {https://doi.org/10.1145/2502488},
  doi       = {10.1145/2502488},
  isbn      = {978-1-4503-2389-5},
  timestamp = {Tue, 06 Nov 2018 16:59:25 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/2013wgp},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2013,
  editor    = {Greg Morrisett and
               Tarmo Uustalu},
  title     = {{ACM} {SIGPLAN} International Conference on Functional Programming,
               ICFP'13, Boston, MA, {USA} - September 25 - 27, 2013},
  publisher = {{ACM}},
  year      = {2013},
  url       = {http://dl.acm.org/citation.cfm?id=2500365},
  isbn      = {978-1-4503-2326-0},
  timestamp = {Thu, 19 Sep 2013 11:20:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2012wgp,
  editor    = {Andres L{\"{o}}h and
               Ronald Garcia},
  title     = {Proceedings of the 8th {ACM} {SIGPLAN} workshop on Generic programming,
               WGP@ICFP 2012, Copenhagen, Denmark, September 9-15, 2012},
  publisher = {{ACM}},
  year      = {2012},
  url       = {https://doi.org/10.1145/2364394},
  doi       = {10.1145/2364394},
  isbn      = {978-1-4503-1576-0},
  timestamp = {Tue, 06 Nov 2018 16:59:25 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/2012wgp},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifl/2012,
  editor    = {Ralf Hinze},
  title     = {Implementation and Application of Functional Languages - 24th International
               Symposium, {IFL} 2012, Oxford, UK, August 30 - September 1, 2012,
               Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {8241},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-41582-1},
  doi       = {10.1007/978-3-642-41582-1},
  isbn      = {978-3-642-41581-4},
  timestamp = {Tue, 14 May 2019 10:00:35 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ifl/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2011wgp,
  editor    = {Jaakko J{\"{a}}rvi and
               Shin{-}Cheng Mu},
  title     = {Proceedings of the seventh {ACM} {SIGPLAN} workshop on Generic programming,
               WGP@ICFP 2011, Tokyo, Japan, September 19-21, 2011},
  publisher = {{ACM}},
  year      = {2011},
  url       = {https://doi.org/10.1145/2036918},
  doi       = {10.1145/2036918},
  isbn      = {978-1-4503-0861-8},
  timestamp = {Tue, 06 Nov 2018 16:59:25 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/2011wgp},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2011,
  editor    = {Manuel M. T. Chakravarty and
               Zhenjiang Hu and
               Olivier Danvy},
  title     = {Proceeding of the 16th {ACM} {SIGPLAN} international conference on
               Functional Programming, {ICFP} 2011, Tokyo, Japan, September 19-21,
               2011},
  publisher = {{ACM}},
  year      = {2011},
  isbn      = {978-1-4503-0865-6},
  timestamp = {Thu, 22 Sep 2011 12:22:33 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/asm/2010,
  editor    = {Marc Frappier and
               Uwe Gl{\"{a}}sser and
               Sarfraz Khurshid and
               R{\'{e}}gine Laleau and
               Steve Reeves},
  title     = {Abstract State Machines, Alloy, {B} and Z, Second International Conference,
               {ABZ} 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5977},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-11811-1},
  doi       = {10.1007/978-3-642-11811-1},
  isbn      = {978-3-642-11810-4},
  timestamp = {Tue, 14 May 2019 10:00:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/asm/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics