Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Nicolas Wu
@article{DBLP:journals/pacmpl/KidneyYW24,
author = {Donnacha Ois{\'{\i}}n Kidney and
Zhixuan Yang and
Nicolas Wu},
title = {Algebraic Effects Meet Hoare Logic in Cubical Agda},
journal = {Proc. {ACM} Program. Lang.},
volume = {8},
number = {{POPL}},
pages = {1663--1695},
year = {2024},
url = {https://doi.org/10.1145/3632898},
doi = {10.1145/3632898},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/KidneyYW24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/LindleyMMSWY24,
author = {Sam Lindley and
Cristina Matache and
Sean K. Moss and
Sam Staton and
Nicolas Wu and
Zhixuan Yang},
editor = {Stephanie Weirich},
title = {Scoped Effects as Parameterized Algebraic Theories},
booktitle = {Programming Languages and Systems - 33rd European Symposium on Programming,
{ESOP} 2024, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2024, Luxembourg City, Luxembourg,
April 6-11, 2024, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {14576},
pages = {3--21},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-57262-3\_1},
doi = {10.1007/978-3-031-57262-3\_1},
timestamp = {Sun, 14 Apr 2024 18:32:18 +0200},
biburl = {https://dblp.org/rec/conf/esop/LindleyMMSWY24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-03103,
author = {Sam Lindley and
Cristina Matache and
Sean K. Moss and
Sam Staton and
Nicolas Wu and
Zhixuan Yang},
title = {Scoped Effects as Parameterized Algebraic Theories},
journal = {CoRR},
volume = {abs/2402.03103},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.03103},
doi = {10.48550/ARXIV.2402.03103},
eprinttype = {arXiv},
eprint = {2402.03103},
timestamp = {Mon, 12 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-03103.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/MatsudaFWW23,
author = {Kazutaka Matsuda and
Samantha Frohlich and
Meng Wang and
Nicolas Wu},
title = {Embedding by Unembedding},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{ICFP}},
pages = {1--47},
year = {2023},
url = {https://doi.org/10.1145/3607830},
doi = {10.1145/3607830},
timestamp = {Sun, 31 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/MatsudaFWW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/YangW23,
author = {Zhixuan Yang and
Nicolas Wu},
title = {Modular Models of Monoids with Operations},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{ICFP}},
pages = {566--603},
year = {2023},
url = {https://doi.org/10.1145/3607850},
doi = {10.1145/3607850},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/YangW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/funarch/GibbonsKSW23,
author = {Jeremy Gibbons and
Donnacha Ois{\'{\i}}n Kidney and
Tom Schrijvers and
Nicolas Wu},
editor = {Michael Sperber and
Graham Hutton},
title = {Phases in Software Architecture},
booktitle = {Proceedings of the 1st {ACM} {SIGPLAN} International Workshop on Functional
Software Architecture, {FUNARCH} 2023, Seattle, WA, USA, 8 September
2023},
pages = {29--33},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3609025.3609479},
doi = {10.1145/3609025.3609479},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/funarch/GibbonsKSW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/Wu23,
author = {Nicolas Wu},
editor = {Trevor L. McDonell and
Niki Vazou},
title = {The Evolution of Effects (Keynote)},
booktitle = {Proceedings of the 16th {ACM} {SIGPLAN} International Haskell Symposium,
Haskell 2023, Seattle, WA, USA, September 8-9, 2023},
pages = {2},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3609026.3615581},
doi = {10.1145/3609026.3615581},
timestamp = {Wed, 20 Sep 2023 15:10:41 +0200},
biburl = {https://dblp.org/rec/conf/haskell/Wu23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/heart/TahirLW23,
author = {Omar Tahir and
Wayne Luk and
Nicolas Wu},
title = {Extensible Embedded Hardware Description Languages with Compilation,
Simulation and Verification},
booktitle = {Proceedings of the 13th International Symposium on Highly Efficient
Accelerators and Reconfigurable Technologies, {HEART} 2023, Kusatsu,
Japan, June 14-16, 2023},
pages = {1--10},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597031.3597051},
doi = {10.1145/3597031.3597051},
timestamp = {Sat, 05 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/heart/TahirLW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/BakelWT23,
author = {Steffen van Bakel and
Nicolas Wu and
Emma Tye},
editor = {Santiago Escobar and
Vasco T. Vasconcelos},
title = {A Calculus of Delayed Reductions},
booktitle = {International Symposium on Principles and Practice of Declarative
Programming, {PPDP} 2023, Lisboa, Portugal, October 22-23, 2023},
pages = {1:1--1:13},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3610612.3610613},
doi = {10.1145/3610612.3610613},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/BakelWT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-09358,
author = {Marco Paviotti and
Nicolas Wu},
title = {Full Abstraction for Free},
journal = {CoRR},
volume = {abs/2303.09358},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.09358},
doi = {10.48550/ARXIV.2303.09358},
eprinttype = {arXiv},
eprint = {2303.09358},
timestamp = {Mon, 20 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-09358.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/SpiwackKBWE22,
author = {Arnaud Spiwack and
Csongor Kiss and
Jean{-}Philippe Bernardy and
Nicolas Wu and
Richard A. Eisenberg},
title = {Linearly qualified types: generic inference for capabilities and uniqueness},
journal = {Proc. {ACM} Program. Lang.},
volume = {6},
number = {{ICFP}},
pages = {137--164},
year = {2022},
url = {https://doi.org/10.1145/3547626},
doi = {10.1145/3547626},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/SpiwackKBWE22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/NguyenPWW22,
author = {Minh Nguyen and
Roly Perera and
Meng Wang and
Nicolas Wu},
title = {Modular probabilistic models via algebraic effects},
journal = {Proc. {ACM} Program. Lang.},
volume = {6},
number = {{ICFP}},
pages = {381--410},
year = {2022},
url = {https://doi.org/10.1145/3547635},
doi = {10.1145/3547635},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/NguyenPWW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/ThomsonRWS22,
author = {Patrick Thomson and
Rob Rix and
Nicolas Wu and
Tom Schrijvers},
title = {Fusing industry and academia at GitHub (experience report)},
journal = {Proc. {ACM} Program. Lang.},
volume = {6},
number = {{ICFP}},
pages = {496--511},
year = {2022},
url = {https://doi.org/10.1145/3547639},
doi = {10.1145/3547639},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/ThomsonRWS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/KatsumataMUW22,
author = {Shin{-}ya Katsumata and
Dylan McDermott and
Tarmo Uustalu and
Nicolas Wu},
title = {Flexible presentations of graded monads},
journal = {Proc. {ACM} Program. Lang.},
volume = {6},
number = {{ICFP}},
pages = {902--930},
year = {2022},
url = {https://doi.org/10.1145/3547654},
doi = {10.1145/3547654},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/KatsumataMUW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/XiePLWYW22,
author = {Ningning Xie and
Matthew Pickering and
Andres L{\"{o}}h and
Nicolas Wu and
Jeremy Yallop and
Meng Wang},
title = {Staging with class: a specification for typed template Haskell},
journal = {Proc. {ACM} Program. Lang.},
volume = {6},
number = {{POPL}},
pages = {1--30},
year = {2022},
url = {https://doi.org/10.1145/3498723},
doi = {10.1145/3498723},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/XiePLWYW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/YangPWBS22,
author = {Zhixuan Yang and
Marco Paviotti and
Nicolas Wu and
Birthe van den Berg and
Tom Schrijvers},
editor = {Ilya Sergey},
title = {Structured Handling of Scoped Effects},
booktitle = {Programming Languages and Systems - 31st European Symposium on Programming,
{ESOP} 2022, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2022, Munich, Germany, April 2-7,
2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13240},
pages = {462--491},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-99336-8\_17},
doi = {10.1007/978-3-030-99336-8\_17},
timestamp = {Fri, 29 Apr 2022 14:50:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/YangPWBS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/WillisWS22,
author = {Jamie Willis and
Nicolas Wu and
Tom Schrijvers},
editor = {Nadia Polikarpova},
title = {Oregano: staging regular expressions with Moore Cayley fusion},
booktitle = {Haskell '22: 15th {ACM} {SIGPLAN} International Haskell Symposium,
Ljubljana, Slovenia, September 15 - 16, 2022},
pages = {66--80},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3546189.3549916},
doi = {10.1145/3546189.3549916},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/haskell/WillisWS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/GibbonsKSW22,
author = {Jeremy Gibbons and
Donnacha Ois{\'{\i}}n Kidney and
Tom Schrijvers and
Nicolas Wu},
editor = {Ekaterina Komendantskaya},
title = {Breadth-First Traversal via Staging},
booktitle = {Mathematics of Program Construction - 14th International Conference,
{MPC} 2022, Tbilisi, Georgia, September 26-28, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13544},
pages = {1--33},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-16912-0\_1},
doi = {10.1007/978-3-031-16912-0\_1},
timestamp = {Tue, 18 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/GibbonsKSW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/NguyenW22,
author = {Minh Nguyen and
Nicolas Wu},
editor = {Ekaterina Komendantskaya},
title = {Folding over Neural Networks},
booktitle = {Mathematics of Program Construction - 14th International Conference,
{MPC} 2022, Tbilisi, Georgia, September 26-28, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13544},
pages = {129--150},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-16912-0\_5},
doi = {10.1007/978-3-031-16912-0\_5},
timestamp = {Tue, 18 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/NguyenW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/YangW22,
author = {Zhixuan Yang and
Nicolas Wu},
editor = {Ekaterina Komendantskaya},
title = {Fantastic Morphisms and Where to Find Them - {A} Guide to Recursion
Schemes},
booktitle = {Mathematics of Program Construction - 14th International Conference,
{MPC} 2022, Tbilisi, Georgia, September 26-28, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13544},
pages = {222--267},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-16912-0\_9},
doi = {10.1007/978-3-031-16912-0\_9},
timestamp = {Tue, 18 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/YangW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scala/WillisW22,
author = {Jamie Willis and
Nicolas Wu},
title = {Design patterns for parser combinators in scala},
booktitle = {Scala@ECOOP 2022: 13th {ACM} {SIGPLAN} Scala Symposium, Berlin, Germany,
6 June 2022},
pages = {9--21},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3550198.3550427},
doi = {10.1145/3550198.3550427},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/scala/WillisW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sfp/2022,
editor = {Wouter Swierstra and
Nicolas Wu},
title = {Trends in Functional Programming - 23rd International Symposium, {TFP}
2022, Virtual Event, March 17-18, 2022, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13401},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-21314-4},
doi = {10.1007/978-3-031-21314-4},
isbn = {978-3-031-21313-7},
timestamp = {Mon, 09 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfp/2022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2201-10287,
author = {Zhixuan Yang and
Marco Paviotti and
Nicolas Wu and
Birthe van den Berg and
Tom Schrijvers},
title = {Structured Handling of Scoped Effects: Extended Version},
journal = {CoRR},
volume = {abs/2201.10287},
year = {2022},
url = {https://arxiv.org/abs/2201.10287},
eprinttype = {arXiv},
eprint = {2201.10287},
timestamp = {Tue, 01 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2201-10287.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2202-13633,
author = {Zhixuan Yang and
Nicolas Wu},
title = {Fantastic Morphisms and Where to Find Them: {A} Guide to Recursion
Schemes},
journal = {CoRR},
volume = {abs/2202.13633},
year = {2022},
url = {https://arxiv.org/abs/2202.13633},
eprinttype = {arXiv},
eprint = {2202.13633},
timestamp = {Thu, 03 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2202-13633.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2203-04608,
author = {Minh Nguyen and
Roly Perera and
Meng Wang and
Nicolas Wu},
title = {Modular Probabilistic Models via Algebraic Effects},
journal = {CoRR},
volume = {abs/2203.04608},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2203.04608},
doi = {10.48550/ARXIV.2203.04608},
eprinttype = {arXiv},
eprint = {2203.04608},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2203-04608.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-09206,
author = {Patrick Thomson and
Rob Rix and
Nicolas Wu and
Tom Schrijvers},
title = {Fusing Industry and Academia at GitHub (Experience Report)},
journal = {CoRR},
volume = {abs/2206.09206},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.09206},
doi = {10.48550/ARXIV.2206.09206},
eprinttype = {arXiv},
eprint = {2206.09206},
timestamp = {Mon, 27 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-09206.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2207-01090,
author = {Minh Nguyen and
Nicolas Wu},
title = {Folding over Neural Networks},
journal = {CoRR},
volume = {abs/2207.01090},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2207.01090},
doi = {10.48550/ARXIV.2207.01090},
eprinttype = {arXiv},
eprint = {2207.01090},
timestamp = {Wed, 06 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2207-01090.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/KidneyW21,
author = {Donnacha Ois{\'{\i}}n Kidney and
Nicolas Wu},
title = {Algebras for weighted search},
journal = {Proc. {ACM} Program. Lang.},
volume = {5},
number = {{ICFP}},
pages = {1--30},
year = {2021},
url = {https://doi.org/10.1145/3473577},
doi = {10.1145/3473577},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/KidneyW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/YangW21,
author = {Zhixuan Yang and
Nicolas Wu},
title = {Reasoning about effect interaction by fusion},
journal = {Proc. {ACM} Program. Lang.},
volume = {5},
number = {{ICFP}},
pages = {1--29},
year = {2021},
url = {https://doi.org/10.1145/3473578},
doi = {10.1145/3473578},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/YangW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/BergSPW21,
author = {Birthe van den Berg and
Tom Schrijvers and
Casper Bach Poulsen and
Nicolas Wu},
editor = {Hakjoo Oh},
title = {Latent Effects for Reusable Language Components},
booktitle = {Programming Languages and Systems - 19th Asian Symposium, {APLAS}
2021, Chicago, IL, USA, October 17-18, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13008},
pages = {182--201},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-89051-3\_11},
doi = {10.1007/978-3-030-89051-3\_11},
timestamp = {Sat, 25 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aplas/BergSPW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/WillisW21,
author = {Jamie Willis and
Nicolas Wu},
editor = {Jurriaan Hage},
title = {Design patterns for parser combinators (functional pearl)},
booktitle = {Haskell 2021: Proceedings of the 14th {ACM} {SIGPLAN} International
Symposium on Haskell, Virtual Event, Korea, August 26-27, 2021},
pages = {71--84},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3471874.3472984},
doi = {10.1145/3471874.3472984},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/haskell/WillisW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/PunchihewaW21,
author = {Hashan Punchihewa and
Nicolas Wu},
editor = {Jurriaan Hage},
title = {Safe mutation with algebraic effects},
booktitle = {Haskell 2021: Proceedings of the 14th {ACM} {SIGPLAN} International
Symposium on Haskell, Virtual Event, Korea, August 26-27, 2021},
pages = {122--135},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3471874.3472988},
doi = {10.1145/3471874.3472988},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/haskell/PunchihewaW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/ifip/BirdGHHJMMMSSW21,
author = {Richard S. Bird and
Jeremy Gibbons and
Ralf Hinze and
Peter H{\"{o}}fner and
Johan Jeuring and
Lambert G. L. T. Meertens and
Bernhard M{\"{o}}ller and
Carroll Morgan and
Tom Schrijvers and
Wouter Swierstra and
Nicolas Wu},
editor = {Michael Goedicke and
Erich J. Neuhold and
Kai Rannenberg},
title = {Algorithmics},
booktitle = {Advancing Research in Information and Communication Technology - IFIP's
Exciting First 60+ Years, Views from the Technical Committees and
Working Groups},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {600},
pages = {59--98},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81701-5\_3},
doi = {10.1007/978-3-030-81701-5\_3},
timestamp = {Wed, 21 Dec 2022 15:22:06 +0100},
biburl = {https://dblp.org/rec/series/ifip/BirdGHHJMMMSSW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
eprinttype = {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/corr/abs-2108-11155,
author = {Birthe van den Berg and
Tom Schrijvers and
Casper Bach Poulsen and
Nicolas Wu},
title = {Latent Effects for Reusable Language Components: Extended Version},
journal = {CoRR},
volume = {abs/2108.11155},
year = {2021},
url = {https://arxiv.org/abs/2108.11155},
eprinttype = {arXiv},
eprint = {2108.11155},
timestamp = {Thu, 23 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-11155.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2112-03653,
author = {Matthew Pickering and
Andres L{\"{o}}h and
Nicolas Wu},
title = {A Specification for Typed Template Haskell},
journal = {CoRR},
volume = {abs/2112.03653},
year = {2021},
url = {https://arxiv.org/abs/2112.03653},
eprinttype = {arXiv},
eprint = {2112.03653},
timestamp = {Mon, 13 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2112-03653.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 = {Sat, 09 Apr 2022 01:00:00 +0200},
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 = {Thu, 14 Oct 2021 01:00:00 +0200},
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 = {Mon, 28 Aug 2023 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 = {Thu, 14 Oct 2021 01:00:00 +0200},
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, 09 Apr 2022 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},
eprinttype = {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},
eprinttype = {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 = {Thu, 14 Oct 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 = {Thu, 14 Oct 2021 01:00:00 +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 = {Mon, 08 Apr 2024 08:19:10 +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 = {Mon, 26 Jun 2023 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 = {Tue, 05 Apr 2022 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 = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/WuS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-04-15 23:22 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
