Skip to main content

Nicolas Wu : Publications

Click here to download all publications in a single bibtex file

@article{reladj,
  title = "Relational Algebra by Way of Adjunctions",
  author = "Jeremy Gibbons and Fritz Henglein and Ralf Hinze and Nicolas Wu",
  year = "2018",
  journal = "PACMPL",
  month = "September",
  note = "Winner of a Distinguished Paper Award",
  number = "ICFP",
  url = "http://www.cs.ox.ac.uk/jeremy.gibbons/publications/reladj.pdf",
  volume = "2",
  doi = "10.1145/3236781",
}
@inproceedings{modules,
  title = "Modules over Monads, and Their Algebras",
  author = "Maciej Piróg and Nicolas Wu and Jeremy Gibbons",
  year = "2015",
  booktitle = "6th International Conference on Algebra and Coalgebra in Computer Science (CALCO’15)",
  editor = "Larry Moss and Paweł Sobociński",
  month = "June",
  pages = "287-300",
  series = "Leibniz International Proceedings in Informatics",
  url = "https://coalg.org/calco15/papers/p18-Pir%C3%B3g.pdf",
  doi = "10.4230/LIPIcs.CALCO.2015.290",
}
@inproceedings{hylomorphisms,
  title = "Conjugate Hylomorphisms, Or: The Mother of All Structured Recursion Schemes",
  author = "Ralf Hinze and Nicolas Wu and Jeremy Gibbons",
  year = "2015",
  booktitle = "POPL 2015",
  month = "January",
  pages = "527-538",
  url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/papers/conj-hylo.pdf",
  doi = "10.1145/2676726.2676989",
}
@inproceedings{embedding,
  title = "Folding Domain-Specific Languages: Deep and Shallow Embeddings",
  author = "Jeremy Gibbons and Nicolas Wu",
  year = "2014",
  booktitle = "International Conference on Functional Programming",
  month = "September",
  pages = "339-347",
  url = "http://www.cs.ox.ac.uk/jeremy.gibbons/publications/embedding.pdf",
  doi = "10.1145/2628136.2628138",
}
@article{Wu_and_Simpson_2014,
  title = "Formal Relational Database Design: An Exercise in Extending the Formal Template Language",
  author = "Wu, N. and Simpson, A.~C.",
  year = "2014",
  journal = "Formal Aspects of Computing",
  number = "6",
  pages = "1231--1269",
  volume = "26",
}
@inproceedings{Schrijvers+2014:Heuristics,
  title = "Heuristics entwined with handlers combined",
  author = "Schrijvers, Tom and Wu, Nicolas and Desouter, Benoit and Demoen, Bart",
  year = "2014",
  booktitle = "PPDP 2014 : proceedings of the 16th international symposium on principles and practice of declarative programming",
  isbn = "9781450329477",
  language = "eng",
  location = "Canterbury, UK",
  pages = "12",
  publisher = "Association for Computing Machinery (ACM)",
}
@inproceedings{Wu2014,
  title = "Effect Handlers in Scope",
  author = "Nicolas Wu and Tom Schrijvers and Ralf Hinze",
  year = "2014",
  address = "New York, NY, USA",
  booktitle = "Proceedings of the 2014 Haskell Symposium",
  publisher = "ACM",
  series = "Haskell '14",
  url = "http://www.cs.ox.ac.uk/people/nicolas.wu/papers/Scope.pdf",
}
@misc{HiW13Squ,
  title = "Squiggoling with Bialgebras: Recursion Schemes from Comonads Revisited",
  author = "Hinze, Ralf and Wu, Nicolas",
  year = "2013",
  booktitle = "Een Lawine van Ontwortelde Bomen - Liber Amicorum voor Doaitse Swierstra",
  editor = "Hage, Jurriaan and Dijkstra, Atze",
  howpublished = "Liber amicorum voor Doaitse Swierstra",
  month = "may",
}
@inproceedings{HiW13His,
  title = "Histo- and Dynamorphisms Revisited",
  author = "Hinze, Ralf and Wu, Nicolas",
  year = "2013",
  address = "New York, NY, USA",
  booktitle = "Proceedings of the 9th ACM SIGPLAN Workshop on Generic Programming",
  editor = "Carette, Jacques and Willcock, Jeremiah",
  isbn = "978-1-4503-2389-5",
  location = "Boston, Massachusetts, USA",
  pages = "1--12",
  publisher = "ACM",
  series = "WGP '13",
  url = "http://doi.acm.org/10.1145/2502488.2502496",
  doi = "10.1145/2502488.2502496",
}
@inproceedings{HWG13Uni,
  title = "Unifying Structured Recursion Schemes",
  author = "Hinze, Ralf and Wu, Nicolas and Gibbons, Jeremy",
  year = "2013",
  address = "New York, NY, USA",
  booktitle = "Proceedings of the 18th ACM SIGPLAN International Conference on Functional Programming",
  editor = "Uustalu, Tarmo",
  location = "Boston, Massachusetts, USA",
  pages = "209--220",
  publisher = "ACM",
  series = "ICFP '13",
  url = "http://www.cs.ox.ac.uk/jeremy.gibbons/publications/urs.pdf",
  doi = "10.1145/2500365.2500578",
}
@inproceedings{jpm:pllmer:13,
  title = "Pure and Lazy Lambda Mining: An Experience Report",
  author = "Wu, Nicolas and Magalh\~{a}es, Jos{\'e} Pedro and Bransen, Jeroen and Swierstra, Wouter",
  year = "2013",
  booktitle = "Accepted for publication at the 24th Symposium on Implementation and Application of Functional Languages (IFL'12)",
  location = "Oxford, United Kingdom",
  series = "IFL '12",
}
@incollection{HMW13Dua,
  title = "A Duality of Sorts",
  author = "Hinze, Ralf and Magalhães, José Pedro and Wu, Nicolas",
  year = "2013",
  affiliation = "University of Oxford, Computing Laboratory, Wolfson Building, Parks Road, Oxford OX1 3QD, England",
  booktitle = "The Beauty of Functional Code",
  editor = "Achten, Peter and Koopman, Pieter",
  isbn = "978-3-642-40354-5",
  pages = "151-167",
  publisher = "Springer Berlin Heidelberg",
  series = "Lecture Notes in Computer Science",
  url = "http://dx.doi.org/10.1007/978-3-642-40355-2_11",
  volume = "8106",
  doi = "10.1007/978-3-642-40355-2_11",
}
@unpublished{HJWHM12Sor,
  title = "Sorting with Bialgebras and Distributive Laws",
  author = "Hinze, Ralf and James, Daniel W.H. and Harper, Thomas and Wu, Nicolas and Magalhães, José Pedro",
  year = "2012",
  month = "May",
  note = "Accepted to WGP '12",
  url = "http://www.cs.ox.ac.uk/people/daniel.james/sorting.html",
}
@inproceedings{align,
  title = "Incremental Updates for Efficient Bidirectional Transformations",
  author = "Meng Wang and Jeremy Gibbons and Nicolas Wu",
  year = "2011",
  booktitle = "ICFP",
  month = "September",
  url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/align.pdf",
  doi = "10.1145/2034773.2034825",
}
@inproceedings{HiW11Cat,
  title = "Towards a categorical foundation for generic programming",
  author = "Hinze, Ralf and Wu, Nicolas",
  year = "2011",
  address = "New York, NY, USA",
  booktitle = "Proceedings of the seventh ACM SIGPLAN workshop on Generic programming",
  editor = "J\"{a}rvi, Jaakko and Mu, Shin-Cheng",
  isbn = "978-1-4503-0861-8",
  location = "Tokyo, Japan",
  pages = "47-58",
  publisher = "ACM",
  series = "WGP '11",
  url = "http://doi.acm.org/10.1145/2036918.2036926",
  doi = "10.1145/2036918.2036926",
}
@phdthesis{wu2010,
  title = "Generative Templates for Formal Metamodel Design",
  author = "Nicolas Wu",
  year = "2010",
  month = "October",
  school = "Department of Computer Science, University of Oxford",
}
@inproceedings{Wu_and_Simpson_2010,
  title = "Towards Formally Templated Relational Database Representations in {Z}",
  author = "Wu, N. and Simpson, A.~C.",
  year = "2010",
  booktitle = "Proceedings of the 2nd International Conference on Abstract State Machines, Alloy, B and Z ({ABZ} 2010)",
  pages = "363--376",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "5977",
}
@techreport{RR-09-14,
  title = "Proceedings of the Oxford University Computing Laboratory Student Conference 2009",
  author = "Programme Co-Chairs: Lu Feng and John Lyle and Nicolas Wu",
  year = "2009",
  institution = "OUCL",
  month = "November",
  number = "RR-09-14",
  pages = "33",
}
@techreport{RR-09-10,
  title = "A Functional Implementation of the Formal Template Language",
  author = "Nicolas Wu",
  year = "2009",
  institution = "OUCL",
  month = "October",
  number = "RR-09-10",
  pages = "20",
}