BibTeX records: Nicolas Wu

download as .bib file

@article{DBLP:journals/corr/abs-2103-06127,
  author    = {Jean{-}Philippe Bernardy and
               Richard A. Eisenberg and
               Csongor Kiss and
               Arnaud Spiwack and
               Nicolas Wu},
  title     = {Linear Constraints},
  journal   = {CoRR},
  volume    = {abs/2103.06127},
  year      = {2021},
  url       = {https://arxiv.org/abs/2103.06127},
  archivePrefix = {arXiv},
  eprint    = {2103.06127},
  timestamp = {Tue, 16 Mar 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/corr/abs-2103-06127.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/WillisWP20,
  author    = {Jamie Willis and
               Nicolas Wu and
               Matthew Pickering},
  title     = {Staged selective parser combinators},
  journal   = {Proc. {ACM} Program. Lang.},
  volume    = {4},
  number    = {{ICFP}},
  pages     = {120:1--120:30},
  year      = {2020},
  url       = {https://doi.org/10.1145/3409002},
  doi       = {10.1145/3409002},
  timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/pacmpl/WillisWP20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/PickeringLW20,
  author    = {Matthew Pickering and
               Andres L{\"{o}}h and
               Nicolas Wu},
  editor    = {Tom Schrijvers},
  title     = {Staged sums of products},
  booktitle = {Proceedings of the 13th {ACM} {SIGPLAN} International Symposium on
               Haskell, Haskell@ICFP 2020, Virtual Event, USA, August 7, 2020},
  pages     = {122--135},
  publisher = {{ACM}},
  year      = {2020},
  url       = {https://doi.org/10.1145/3406088.3409021},
  doi       = {10.1145/3406088.3409021},
  timestamp = {Sun, 25 Oct 2020 23:03:01 +0100},
  biburl    = {https://dblp.org/rec/conf/haskell/PickeringLW20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/PickeringWK19,
  author    = {Matthew Pickering and
               Nicolas Wu and
               Csongor Kiss},
  editor    = {Richard A. Eisenberg},
  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},
  publisher = {{ACM}},
  year      = {2019},
  url       = {https://doi.org/10.1145/3331545.3342597},
  doi       = {10.1145/3331545.3342597},
  timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
  biburl    = {https://dblp.org/rec/conf/haskell/PickeringWK19.bib},
  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},
  editor    = {Richard A. Eisenberg},
  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},
  publisher = {{ACM}},
  year      = {2019},
  url       = {https://doi.org/10.1145/3331545.3342599},
  doi       = {10.1145/3331545.3342599},
  timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/haskell/PickeringWN19.bib},
  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},
  editor    = {Richard A. Eisenberg},
  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},
  publisher = {{ACM}},
  year      = {2019},
  url       = {https://doi.org/10.1145/3331545.3342595},
  doi       = {10.1145/3331545.3342595},
  timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/haskell/SchrijversPWJ19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/InnesW19,
  author    = {Sean Innes and
               Nicolas Wu},
  editor    = {David Darais and
               Jeremy Gibbons},
  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},
  publisher = {{ACM}},
  year      = {2019},
  url       = {https://doi.org/10.1145/3331554.3342606},
  doi       = {10.1145/3331554.3342606},
  timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
  biburl    = {https://dblp.org/rec/conf/icfp/InnesW19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/KiselyovLPW19,
  author    = {Oleg Kiselyov and
               Sam Lindley and
               Gordon D. Plotkin and
               Nicolas Wu},
  title     = {Programming and Reasoning with Algebraic Effects and Effect Handlers
               {(NII} Shonan Meeting 146)},
  journal   = {{NII} Shonan Meet. Rep.},
  volume    = {2019},
  year      = {2019},
  url       = {https://shonan.nii.ac.jp/seminars/146/},
  timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/shonan-reports/KiselyovLPW19.bib},
  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   = {Proc. {ACM} Program. Lang.},
  volume    = {2},
  number    = {{ICFP}},
  pages     = {85:1--85:30},
  year      = {2018},
  url       = {https://doi.org/10.1145/3236780},
  doi       = {10.1145/3236780},
  timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/pacmpl/KissPW18.bib},
  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   = {Proc. {ACM} Program. Lang.},
  volume    = {2},
  number    = {{ICFP}},
  pages     = {86:1--86:28},
  year      = {2018},
  url       = {https://doi.org/10.1145/3236781},
  doi       = {10.1145/3236781},
  timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/pacmpl/GibbonsHHW18.bib},
  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},
  editor    = {Anuj Dawar and
               Erich Gr{\"{a}}del},
  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},
  publisher = {{ACM}},
  year      = {2018},
  url       = {https://doi.org/10.1145/3209108.3209166},
  doi       = {10.1145/3209108.3209166},
  timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/lics/PirogSWJ18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scala/WillisW18,
  author    = {Jamie Willis and
               Nicolas Wu},
  editor    = {Sebastian Erdweg and
               Bruno C. d. S. Oliveira},
  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},
  publisher = {{ACM}},
  year      = {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/conf/scala/WillisW18.bib},
  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},
  isbn      = {978-1-4503-5835-4},
  timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/haskell/2018.bib},
  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/journals/corr/abs-1805-06798.bib},
  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   = {Int. 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 = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/ijmi/WongWW17.bib},
  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   = {Art Sci. Eng. Program.},
  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 = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/programming/PickeringGW17.bib},
  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/conf/ifl/2017.bib},
  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/journals/corr/PickeringGW17.bib},
  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/journals/jfp/HinzeW16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/PirogW16,
  author    = {Maciej Pir{\'{o}}g and
               Nicolas Wu},
  editor    = {Jacques Garrigue and
               Gabriele Keller and
               Eijiro Sumii},
  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},
  publisher = {{ACM}},
  year      = {2016},
  url       = {https://doi.org/10.1145/2951913.2951947},
  doi       = {10.1145/2951913.2951947},
  timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/icfp/PirogW16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/PirogWG15,
  author    = {Maciej Pir{\'{o}}g and
               Nicolas Wu and
               Jeremy Gibbons},
  editor    = {Lawrence S. Moss and
               Pawel Sobocinski},
  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},
  series    = {LIPIcs},
  volume    = {35},
  pages     = {290--303},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year      = {2015},
  url       = {https://doi.org/10.4230/LIPIcs.CALCO.2015.290},
  doi       = {10.4230/LIPIcs.CALCO.2015.290},
  timestamp = {Tue, 21 Apr 2020 10:56:16 +0200},
  biburl    = {https://dblp.org/rec/conf/calco/PirogWG15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/WuS15,
  author    = {Nicolas Wu and
               Tom Schrijvers},
  editor    = {Ralf Hinze and
               Janis Voigtl{\"{a}}nder},
  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},
  series    = {Lecture Notes in Computer Science},
  volume    = {9129},
  pages     = {302--322},
  publisher = {Springer},
  year      = {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/conf/mpc/WuS15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/HinzeWG15,
  author    = {Ralf Hinze and
               Nicolas Wu and
               Jeremy Gibbons},
  editor    = {Sriram K. Rajamani and
               David Walker},
  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},
  publisher = {{ACM}},
  year      = {2015},
  url       = {https://doi.org/10.1145/2676726.2676989},
  doi       = {10.1145/2676726.2676989},
  timestamp = {Wed, 23 Jun 2021 17:06:05 +0200},
  biburl    = {https://dblp.org/rec/conf/popl/HinzeWG15.bib},
  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 Aspects 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 = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/fac/WuS14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/WuSH14,
  author    = {Nicolas Wu and
               Tom Schrijvers and
               Ralf Hinze},
  editor    = {Wouter Swierstra},
  title     = {Effect handlers in scope},
  booktitle = {Proceedings of the 2014 {ACM} {SIGPLAN} symposium on Haskell, Gothenburg,
               Sweden, September 4-5, 2014},
  pages     = {1--12},
  publisher = {{ACM}},
  year      = {2014},
  url       = {https://doi.org/10.1145/2633357.2633358},
  doi       = {10.1145/2633357.2633358},
  timestamp = {Thu, 24 Jun 2021 16:19:29 +0200},
  biburl    = {https://dblp.org/rec/conf/haskell/WuSH14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/GibbonsW14,
  author    = {Jeremy Gibbons and
               Nicolas Wu},
  editor    = {Johan Jeuring and
               Manuel M. T. Chakravarty},
  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},
  publisher = {{ACM}},
  year      = {2014},
  url       = {https://doi.org/10.1145/2628136.2628138},
  doi       = {10.1145/2628136.2628138},
  timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
  biburl    = {https://dblp.org/rec/conf/icfp/GibbonsW14.bib},
  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},
  editor    = {Olaf Chitil and
               Andy King and
               Olivier Danvy},
  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},
  publisher = {{ACM}},
  year      = {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/conf/ppdp/SchrijversWDD14.bib},
  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},
  editor    = {Peter Achten and
               Pieter W. M. Koopman},
  title     = {A Duality of Sorts},
  booktitle = {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},
  pages     = {151--167},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-40355-2\_11},
  doi       = {10.1007/978-3-642-40355-2\_11},
  timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/birthday/HinzeMW13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/HinzeW13,
  author    = {Ralf Hinze and
               Nicolas Wu},
  editor    = {Jacques Carette and
               Jeremiah Willcock},
  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},
  publisher = {{ACM}},
  year      = {2013},
  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/conf/icfp/HinzeW13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/HinzeWG13,
  author    = {Ralf Hinze and
               Nicolas Wu and
               Jeremy Gibbons},
  editor    = {Greg Morrisett and
               Tarmo Uustalu},
  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},
  publisher = {{ACM}},
  year      = {2013},
  url       = {https://doi.org/10.1145/2500365.2500578},
  doi       = {10.1145/2500365.2500578},
  timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
  biburl    = {https://dblp.org/rec/conf/icfp/HinzeWG13.bib},
  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},
  editor    = {Andres L{\"{o}}h and
               Ronald Garcia},
  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},
  publisher = {{ACM}},
  year      = {2012},
  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/conf/icfp/HinzeJHWM12.bib},
  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},
  editor    = {Ralf Hinze},
  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},
  series    = {Lecture Notes in Computer Science},
  volume    = {8241},
  pages     = {207--223},
  publisher = {Springer},
  year      = {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/conf/ifl/WuMBS12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/HinzeW11,
  author    = {Ralf Hinze and
               Nicolas Wu},
  editor    = {Jaakko J{\"{a}}rvi and
               Shin{-}Cheng Mu},
  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},
  publisher = {{ACM}},
  year      = {2011},
  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/conf/icfp/HinzeW11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/WangGW11,
  author    = {Meng Wang and
               Jeremy Gibbons and
               Nicolas Wu},
  editor    = {Manuel M. T. Chakravarty and
               Zhenjiang Hu and
               Olivier Danvy},
  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},
  publisher = {{ACM}},
  year      = {2011},
  url       = {https://doi.org/10.1145/2034773.2034825},
  doi       = {10.1145/2034773.2034825},
  timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
  biburl    = {https://dblp.org/rec/conf/icfp/WangGW11.bib},
  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/phd/ethos/Wu10b.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/WuS10,
  author    = {Nicolas Wu and
               Andrew Simpson},
  editor    = {Marc Frappier and
               Uwe Gl{\"{a}}sser and
               Sarfraz Khurshid and
               R{\'{e}}gine Laleau and
               Steve Reeves},
  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},
  series    = {Lecture Notes in Computer Science},
  volume    = {5977},
  pages     = {363--376},
  publisher = {Springer},
  year      = {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/conf/asm/WuS10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics