Unifying Theories of Generic Programming: 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]

  Adjoint folds and unfolds—An extended study

  Ralf Hinze

  In Science of Computer Programming. Vol. 78. No. 11. Pages 2108−2159. 2013.

  Details about Adjoint folds and unfolds—An extended study | BibTeX data for Adjoint folds and unfolds—An extended study | DOI (10.1016/j.scico.2012.07.011)

Conference papers

• [1]

  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

• [2]

  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

• [3]

  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

• [4]

  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

• [5]

  Sorting and Searching by Distribution: From Generic Discrimination to Generic Tries

  Fritz Henglein and Ralf Hinze

  In Chung−chieh Shan, editor, Proceedings of the 11th Asian Symposium on Programming Languages and Systems (APLAS 2013). Vol. 8301 of Lecture Notes in Computer Science. Pages 315−332. Springer International Publishing. 2013.

  Details about Sorting and Searching by Distribution: From Generic Discrimination to Generic Tries | BibTeX data for Sorting and Searching by Distribution: From Generic Discrimination to Generic Tries | DOI (10.1007/978-3-319-03542-0_23) | Link to Sorting and Searching by Distribution: From Generic Discrimination to Generic Tries

• [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]

  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

• [8]

  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

• [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

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