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}
}
@inproceedings{DBLP:conf/esop/LindleyMMSWY24,
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},
booktitle = {{ESOP} {(1)}},
series = {Lecture Notes in Computer Science},
volume = {14576},
pages = {3--21},
publisher = {Springer},
year = {2024}
}
@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}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/funarch/GibbonsKSW23,
author = {Jeremy Gibbons and
Donnacha Ois{\'{\i}}n Kidney and
Tom Schrijvers and
Nicolas Wu},
title = {Phases in Software Architecture},
booktitle = {{FUNARCH}},
pages = {29--33},
publisher = {{ACM}},
year = {2023}
}
@inproceedings{DBLP:conf/haskell/Wu23,
author = {Nicolas Wu},
title = {The Evolution of Effects (Keynote)},
booktitle = {Haskell},
pages = {2},
publisher = {{ACM}},
year = {2023}
}
@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 = {{HEART}},
pages = {1--10},
publisher = {{ACM}},
year = {2023}
}
@inproceedings{DBLP:conf/ppdp/BakelWT23,
author = {Steffen van Bakel and
Nicolas Wu and
Emma Tye},
title = {A Calculus of Delayed Reductions},
booktitle = {{PPDP}},
pages = {1:1--1:13},
publisher = {{ACM}},
year = {2023}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/esop/YangPWBS22,
author = {Zhixuan Yang and
Marco Paviotti and
Nicolas Wu and
Birthe van den Berg and
Tom Schrijvers},
title = {Structured Handling of Scoped Effects},
booktitle = {{ESOP}},
series = {Lecture Notes in Computer Science},
volume = {13240},
pages = {462--491},
publisher = {Springer},
year = {2022}
}
@inproceedings{DBLP:conf/haskell/WillisWS22,
author = {Jamie Willis and
Nicolas Wu and
Tom Schrijvers},
title = {Oregano: staging regular expressions with Moore Cayley fusion},
booktitle = {Haskell},
pages = {66--80},
publisher = {{ACM}},
year = {2022}
}
@inproceedings{DBLP:conf/mpc/GibbonsKSW22,
author = {Jeremy Gibbons and
Donnacha Ois{\'{\i}}n Kidney and
Tom Schrijvers and
Nicolas Wu},
title = {Breadth-First Traversal via Staging},
booktitle = {{MPC}},
series = {Lecture Notes in Computer Science},
volume = {13544},
pages = {1--33},
publisher = {Springer},
year = {2022}
}
@inproceedings{DBLP:conf/mpc/NguyenW22,
author = {Minh Nguyen and
Nicolas Wu},
title = {Folding over Neural Networks},
booktitle = {{MPC}},
series = {Lecture Notes in Computer Science},
volume = {13544},
pages = {129--150},
publisher = {Springer},
year = {2022}
}
@inproceedings{DBLP:conf/mpc/YangW22,
author = {Zhixuan Yang and
Nicolas Wu},
title = {Fantastic Morphisms and Where to Find Them - {A} Guide to Recursion
Schemes},
booktitle = {{MPC}},
series = {Lecture Notes in Computer Science},
volume = {13544},
pages = {222--267},
publisher = {Springer},
year = {2022}
}
@inproceedings{DBLP:conf/scala/WillisW22,
author = {Jamie Willis and
Nicolas Wu},
title = {Design patterns for parser combinators in scala},
booktitle = {SCALA@ECOOP},
pages = {9--21},
publisher = {{ACM}},
year = {2022}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/aplas/BergSPW21,
author = {Birthe van den Berg and
Tom Schrijvers and
Casper Bach Poulsen and
Nicolas Wu},
title = {Latent Effects for Reusable Language Components},
booktitle = {{APLAS}},
series = {Lecture Notes in Computer Science},
volume = {13008},
pages = {182--201},
publisher = {Springer},
year = {2021}
}
@inproceedings{DBLP:conf/haskell/WillisW21,
author = {Jamie Willis and
Nicolas Wu},
title = {Design patterns for parser combinators (functional pearl)},
booktitle = {Haskell},
pages = {71--84},
publisher = {{ACM}},
year = {2021}
}
@inproceedings{DBLP:conf/haskell/PunchihewaW21,
author = {Hashan Punchihewa and
Nicolas Wu},
title = {Safe mutation with algebraic effects},
booktitle = {Haskell},
pages = {122--135},
publisher = {{ACM}},
year = {2021}
}
@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},
title = {Algorithmics},
booktitle = {IFIP's Exciting First 60+ Years},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {600},
pages = {59--98},
publisher = {Springer},
year = {2021}
}
@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}
}
@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}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/haskell/PickeringLW20,
author = {Matthew Pickering and
Andres L{\"{o}}h and
Nicolas Wu},
title = {Staged sums of products},
booktitle = {Haskell@ICFP},
pages = {122--135},
publisher = {{ACM}},
year = {2020}
}
@inproceedings{DBLP:conf/haskell/PickeringWK19,
author = {Matthew Pickering and
Nicolas Wu and
Csongor Kiss},
title = {Multi-stage programs in context},
booktitle = {Haskell@ICFP},
pages = {71--84},
publisher = {{ACM}},
year = {2019}
}
@inproceedings{DBLP:conf/haskell/PickeringWN19,
author = {Matthew Pickering and
Nicolas Wu and
Boldizs{\'{a}}r N{\'{e}}meth},
title = {Working with source plugins},
booktitle = {Haskell@ICFP},
pages = {85--97},
publisher = {{ACM}},
year = {2019}
}
@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 = {Haskell@ICFP},
pages = {98--113},
publisher = {{ACM}},
year = {2019}
}
@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 = {TyDe@ICFP},
pages = {40--51},
publisher = {{ACM}},
year = {2019}
}
@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}
}
@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}
}
@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}
}
@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 = {{LICS}},
pages = {809--818},
publisher = {{ACM}},
year = {2018}
}
@inproceedings{DBLP:conf/scala/WillisW18,
author = {Jamie Willis and
Nicolas Wu},
title = {Garnishing parsec with parsley},
booktitle = {SCALA@ICFP},
pages = {24--34},
publisher = {{ACM}},
year = {2018}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/icfp/PirogW16,
author = {Maciej Pir{\'{o}}g and
Nicolas Wu},
title = {String diagrams for free monads (functional pearl)},
booktitle = {{ICFP}},
pages = {490--501},
publisher = {{ACM}},
year = {2016}
}
@inproceedings{DBLP:conf/calco/PirogWG15,
author = {Maciej Pir{\'{o}}g and
Nicolas Wu and
Jeremy Gibbons},
title = {Modules Over Monads and Their Algebras},
booktitle = {{CALCO}},
series = {LIPIcs},
volume = {35},
pages = {290--303},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015}
}
@inproceedings{DBLP:conf/mpc/WuS15,
author = {Nicolas Wu and
Tom Schrijvers},
title = {Fusion for Free - Efficient Algebraic Effect Handlers},
booktitle = {{MPC}},
series = {Lecture Notes in Computer Science},
volume = {9129},
pages = {302--322},
publisher = {Springer},
year = {2015}
}
@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 = {{POPL}},
pages = {527--538},
publisher = {{ACM}},
year = {2015}
}
@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}
}
@inproceedings{DBLP:conf/haskell/WuSH14,
author = {Nicolas Wu and
Tom Schrijvers and
Ralf Hinze},
title = {Effect handlers in scope},
booktitle = {Haskell},
pages = {1--12},
publisher = {{ACM}},
year = {2014}
}
@inproceedings{DBLP:conf/icfp/GibbonsW14,
author = {Jeremy Gibbons and
Nicolas Wu},
title = {Folding domain-specific languages: deep and shallow embeddings (functional
Pearl)},
booktitle = {{ICFP}},
pages = {339--347},
publisher = {{ACM}},
year = {2014}
}
@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 = {{PPDP}},
pages = {259--270},
publisher = {{ACM}},
year = {2014}
}
@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},
series = {Lecture Notes in Computer Science},
volume = {8106},
pages = {151--167},
publisher = {Springer},
year = {2013}
}
@inproceedings{DBLP:conf/icfp/HinzeW13,
author = {Ralf Hinze and
Nicolas Wu},
title = {Histo- and dynamorphisms revisited},
booktitle = {WGP@ICFP},
pages = {1--12},
publisher = {{ACM}},
year = {2013}
}
@inproceedings{DBLP:conf/icfp/HinzeWG13,
author = {Ralf Hinze and
Nicolas Wu and
Jeremy Gibbons},
title = {Unifying structured recursion schemes},
booktitle = {{ICFP}},
pages = {209--220},
publisher = {{ACM}},
year = {2013}
}
@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 = {WGP@ICFP},
pages = {69--80},
publisher = {{ACM}},
year = {2012}
}
@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 = {{IFL}},
series = {Lecture Notes in Computer Science},
volume = {8241},
pages = {207--223},
publisher = {Springer},
year = {2012}
}
@inproceedings{DBLP:conf/icfp/HinzeW11,
author = {Ralf Hinze and
Nicolas Wu},
title = {Towards a categorical foundation for generic programming},
booktitle = {WGP@ICFP},
pages = {47--58},
publisher = {{ACM}},
year = {2011}
}
@inproceedings{DBLP:conf/icfp/WangGW11,
author = {Meng Wang and
Jeremy Gibbons and
Nicolas Wu},
title = {Incremental updates for efficient bidirectional transformations},
booktitle = {{ICFP}},
pages = {392--403},
publisher = {{ACM}},
year = {2011}
}
@phdthesis{DBLP:phd/ethos/Wu10b,
author = {Nicolas Wu},
title = {Generative templates for formal metamodel design},
school = {University of Oxford, {UK}},
year = {2010}
}
@inproceedings{DBLP:conf/asm/WuS10,
author = {Nicolas Wu and
Andrew Simpson},
title = {Towards Formally Templated Relational Database Representations in
{Z}},
booktitle = {{ASM}},
series = {Lecture Notes in Computer Science},
volume = {5977},
pages = {363--376},
publisher = {Springer},
year = {2010}
}
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-25 05:47 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:
