Nicolas Wu : Publications

Book chapters

• [1]

  A Duality of Sorts

  Ralf Hinze‚ José Pedro Magalhães and Nicolas Wu

  In Peter Achten and Pieter Koopman, editors, The Beauty of Functional Code. Vol. 8106 of Lecture Notes in Computer Science. Pages 151−167. Springer Berlin Heidelberg. 2013.

  Details about A Duality of Sorts | BibTeX data for A Duality of Sorts | DOI (10.1007/978-3-642-40355-2_11) | Link to A Duality of Sorts

Journal papers

• [1]

  Relational Algebra by Way of Adjunctions

  Jeremy Gibbons‚ Fritz Henglein‚ Ralf Hinze and Nicolas Wu

  In PACMPL. Vol. 2. No. ICFP. September, 2018.

  Winner of a Distinguished Paper Award

  Details about Relational Algebra by Way of Adjunctions | BibTeX data for Relational Algebra by Way of Adjunctions | DOI (10.1145/3236781) | Download (pdf) of Relational Algebra by Way of Adjunctions

• [2]

  Formal Relational Database Design: An Exercise in Extending the Formal Template Language

  N. Wu and A. C. Simpson

  In Formal Aspects of Computing. Vol. 26. No. 6. Pages 1231–1269. 2014.

  Details about Formal Relational Database Design: An Exercise in Extending the Formal Template Language | BibTeX data for Formal Relational Database Design: An Exercise in Extending the Formal Template Language

Conference papers

• [1]

  Modules over Monads‚ and Their Algebras

  Maciej Piróg‚ Nicolas Wu and Jeremy Gibbons

  In Larry Moss and Paweł Sobociński, editors, 6th International Conference on Algebra and Coalgebra in Computer Science (CALCO’15). Pages 287−300. June, 2015.

  Details about Modules over Monads‚ and Their Algebras | BibTeX data for Modules over Monads‚ and Their Algebras | DOI (10.4230/LIPIcs.CALCO.2015.290) | Download (pdf) of Modules over Monads‚ and Their Algebras

• [2]

  Conjugate Hylomorphisms‚ Or: The Mother of All Structured Recursion Schemes

  Ralf Hinze‚ Nicolas Wu and Jeremy Gibbons

  In POPL 2015. Pages 527−538. January, 2015.

  Details about Conjugate Hylomorphisms‚ Or: The Mother of All Structured Recursion Schemes | BibTeX data for Conjugate Hylomorphisms‚ Or: The Mother of All Structured Recursion Schemes | DOI (10.1145/2676726.2676989) | Download (pdf) of Conjugate Hylomorphisms‚ Or: The Mother of All Structured Recursion Schemes

• [3]

  Heuristics entwined with handlers combined

  Tom Schrijvers‚ Nicolas Wu‚ Benoit Desouter and Bart Demoen

  In PPDP 2014 : proceedings of the 16th international symposium on principles and practice of declarative programming. Pages 12. Association for Computing Machinery (ACM). 2014.

  Details about Heuristics entwined with handlers combined | BibTeX data for Heuristics entwined with handlers combined

• [4]

  Effect Handlers in Scope

  Nicolas Wu‚ Tom Schrijvers and Ralf Hinze

  In Proceedings of the 2014 Haskell Symposium. New York‚ NY‚ USA. 2014. ACM.

  Details about Effect Handlers in Scope | BibTeX data for Effect Handlers in Scope | Download (pdf) of Effect Handlers in Scope

• [5]

  Folding Domain−Specific Languages: Deep and Shallow Embeddings

  Jeremy Gibbons and Nicolas Wu

  In International Conference on Functional Programming. Pages 339−347. September, 2014.

  Details about Folding Domain−Specific Languages: Deep and Shallow Embeddings | BibTeX data for Folding Domain−Specific Languages: Deep and Shallow Embeddings | DOI (10.1145/2628136.2628138) | Download (pdf) of Folding Domain−Specific Languages: Deep and Shallow Embeddings

• [6]

  Histo− and Dynamorphisms Revisited

  Ralf Hinze and Nicolas Wu

  In Jacques Carette and Jeremiah Willcock, editors, Proceedings of the 9th ACM SIGPLAN Workshop on Generic Programming. Pages 1–12. New York‚ NY‚ USA. 2013. ACM.

  Details about Histo− and Dynamorphisms Revisited | BibTeX data for Histo− and Dynamorphisms Revisited | DOI (10.1145/2502488.2502496) | Link to Histo− and Dynamorphisms Revisited

• [7]

  Unifying Structured Recursion Schemes

  Ralf Hinze‚ Nicolas Wu and Jeremy Gibbons

  In Tarmo Uustalu, editor, Proceedings of the 18th ACM SIGPLAN International Conference on Functional Programming. Pages 209–220. New York‚ NY‚ USA. 2013. ACM.

  Details about Unifying Structured Recursion Schemes | BibTeX data for Unifying Structured Recursion Schemes | DOI (10.1145/2500365.2500578) | Download (pdf) of Unifying Structured Recursion Schemes

• [8]

  Pure and Lazy Lambda Mining: An Experience Report

  Nicolas Wu‚ José Pedro Magalhães‚ Jeroen Bransen and Wouter Swierstra

  In Accepted for publication at the 24th Symposium on Implementation and Application of Functional Languages (IFL'12). 2013.

  Details about Pure and Lazy Lambda Mining: An Experience Report | BibTeX data for Pure and Lazy Lambda Mining: An Experience Report

• [9]

  Towards a categorical foundation for generic programming

  Ralf Hinze and Nicolas Wu

  In Jaakko Järvi and Shin−Cheng Mu, editors, Proceedings of the seventh ACM SIGPLAN workshop on Generic programming. Pages 47−58. New York‚ NY‚ USA. 2011. ACM.

  Details about Towards a categorical foundation for generic programming | BibTeX data for Towards a categorical foundation for generic programming | DOI (10.1145/2036918.2036926) | Link to Towards a categorical foundation for generic programming

• [10]

  Incremental Updates for Efficient Bidirectional Transformations

  Meng Wang‚ Jeremy Gibbons and Nicolas Wu

  In ICFP. September, 2011.

  Details about Incremental Updates for Efficient Bidirectional Transformations | BibTeX data for Incremental Updates for Efficient Bidirectional Transformations | DOI (10.1145/2034773.2034825) | Download (pdf) of Incremental Updates for Efficient Bidirectional Transformations

• [11]

  Towards Formally Templated Relational Database Representations in Z

  N. Wu and A. C. Simpson

  In Proceedings of the 2nd International Conference on Abstract State Machines‚ Alloy‚ B and Z (ABZ 2010). Vol. 5977 of Lecture Notes in Computer Science. Pages 363–376. Springer. 2010.

  Details about Towards Formally Templated Relational Database Representations in Z | BibTeX data for Towards Formally Templated Relational Database Representations in Z

Technical reports

• [1]

  Proceedings of the Oxford University Computing Laboratory Student Conference 2009

  Programme Co−Chairs: Lu Feng‚ John Lyle and Nicolas Wu

  No. RR−09−14. OUCL. November, 2009.

  Details about Proceedings of the Oxford University Computing Laboratory Student Conference 2009 | BibTeX data for Proceedings of the Oxford University Computing Laboratory Student Conference 2009 | Download  (pdf) of Proceedings of the Oxford University Computing Laboratory Student Conference 2009

• [2]

  A Functional Implementation of the Formal Template Language

  Nicolas Wu

  No. RR−09−10. OUCL. October, 2009.

  Details about A Functional Implementation of the Formal Template Language | BibTeX data for A Functional Implementation of the Formal Template Language | Download  (pdf) of A Functional Implementation of the Formal Template Language

Theses

• [1]

  Generative Templates for Formal Metamodel Design

  Nicolas Wu

  PhD Thesis Department of Computer Science‚ University of Oxford. October, 2010.

  Details about Generative Templates for Formal Metamodel Design | BibTeX data for Generative Templates for Formal Metamodel Design

Miscellaneous

• [1]

  Squiggoling with Bialgebras: Recursion Schemes from Comonads Revisited

  Jurriaan Hage [editor]‚ Atze Dijkstra [editor]‚ Ralf Hinze and Nicolas Wu

  Liber amicorum voor Doaitse Swierstra. May, 2013.

  Details about Squiggoling with Bialgebras: Recursion Schemes from Comonads Revisited | BibTeX data for Squiggoling with Bialgebras: Recursion Schemes from Comonads Revisited

• [2]

  Sorting with Bialgebras and Distributive Laws

  Ralf Hinze‚ Daniel W.H. James‚ Thomas Harper‚ Nicolas Wu and José Pedro Magalhães

  May, 2012.

  Accepted to WGP '12

  Details about Sorting with Bialgebras and Distributive Laws | BibTeX data for Sorting with Bialgebras and Distributive Laws | Link to Sorting with Bialgebras and Distributive Laws