Unifying Theories of Generic Programming: Publications

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

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

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

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

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

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)

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

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

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

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

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

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

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