Nicolas Wu

Dr Nicolas Wu

Research Assistant

College Lecturer, St Anne's College

College Lecturer, Balliol College

Leaving date: 31st December 2014

Themes:

• Programming Languages

Completed Projects:

• more…

See Also:

• Personal Web Page
• Lecturer at University of Bristol

Selected Publications

View AllManage publications

• 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

• 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

• 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

Activities

• Software Engineering
• Functional Programming
• Algebra of Programming

Completed Projects

• Unifying Theories of Generic Programming