Nicolas Wu : Publications

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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