Unifying Theories of Generic Programming: Publications

Click here to download all publications in a single bibtex file

@inproceedings{hylomorphisms,
  title = "Conjugate Hylomorphisms, Or: The Mother of All Structured Recursion Schemes",
  author = "Ralf Hinze and Nicolas Wu and Jeremy Gibbons",
  year = "2015",
  booktitle = "POPL 2015",
  month = "January",
  pages = "527-538",
  url = "http://www.cs.ox.ac.uk/people/jeremy.gibbons/papers/conj-hylo.pdf",
  doi = "10.1145/2676726.2676989",
}

@inproceedings{embedding,
  title = "Folding Domain-Specific Languages: Deep and Shallow Embeddings",
  author = "Jeremy Gibbons and Nicolas Wu",
  year = "2014",
  booktitle = "International Conference on Functional Programming",
  month = "September",
  pages = "339-347",
  url = "http://www.cs.ox.ac.uk/jeremy.gibbons/publications/embedding.pdf",
  doi = "10.1145/2628136.2628138",
}

@inproceedings{Wu2014,
  title = "Effect Handlers in Scope",
  author = "Nicolas Wu and Tom Schrijvers and Ralf Hinze",
  year = "2014",
  address = "New York, NY, USA",
  booktitle = "Proceedings of the 2014 Haskell Symposium",
  publisher = "ACM",
  series = "Haskell '14",
  url = "http://www.cs.ox.ac.uk/people/nicolas.wu/papers/Scope.pdf",
}

@inproceedings{Schrijvers+2014:Heuristics,
  title = "Heuristics entwined with handlers combined",
  author = "Schrijvers, Tom and Wu, Nicolas and Desouter, Benoit and Demoen, Bart",
  year = "2014",
  booktitle = "PPDP 2014 : proceedings of the 16th international symposium on principles and practice of declarative programming",
  isbn = "9781450329477",
  language = "eng",
  location = "Canterbury, UK",
  pages = "12",
  publisher = "Association for Computing Machinery (ACM)",
}

@misc{HiW13Squ,
  title = "Squiggoling with Bialgebras: Recursion Schemes from Comonads Revisited",
  author = "Hinze, Ralf and Wu, Nicolas",
  year = "2013",
  booktitle = "Een Lawine van Ontwortelde Bomen - Liber Amicorum voor Doaitse Swierstra",
  editor = "Hage, Jurriaan and Dijkstra, Atze",
  howpublished = "Liber amicorum voor Doaitse Swierstra",
  month = "may",
}

@article{Hin12Adj,
  title = "Adjoint folds and unfolds---An extended study",
  author = "Hinze, Ralf",
  year = "2013",
  journal = "Science of Computer Programming",
  number = "11",
  pages = "2108-2159",
  volume = "78",
  doi = "10.1016/j.scico.2012.07.011",
}

@inproceedings{HeH13Sor,
  title = "Sorting and Searching by Distribution: From Generic Discrimination to Generic Tries",
  author = "Henglein, Fritz and Hinze, Ralf",
  year = "2013",
  booktitle = "Proceedings of the 11th Asian Symposium on Programming Languages and Systems (APLAS 2013)",
  editor = "Shan, Chung-chieh",
  isbn = "978-3-319-03541-3",
  location = "Melbourne, Australia",
  pages = "315-332",
  publisher = "Springer International Publishing",
  series = "Lecture Notes in Computer Science",
  url = "http://dx.doi.org/10.1007/978-3-319-03542-0_23",
  volume = "8301",
  doi = "10.1007/978-3-319-03542-0_23",
}

@inproceedings{HiW13His,
  title = "Histo- and Dynamorphisms Revisited",
  author = "Hinze, Ralf and Wu, Nicolas",
  year = "2013",
  address = "New York, NY, USA",
  booktitle = "Proceedings of the 9th ACM SIGPLAN Workshop on Generic Programming",
  editor = "Carette, Jacques and Willcock, Jeremiah",
  isbn = "978-1-4503-2389-5",
  location = "Boston, Massachusetts, USA",
  pages = "1--12",
  publisher = "ACM",
  series = "WGP '13",
  url = "http://doi.acm.org/10.1145/2502488.2502496",
  doi = "10.1145/2502488.2502496",
}

@inproceedings{jpm:pllmer:13,
  title = "Pure and Lazy Lambda Mining: An Experience Report",
  author = "Wu, Nicolas and Magalh\~{a}es, Jos{\'e} Pedro and Bransen, Jeroen and Swierstra, Wouter",
  year = "2013",
  booktitle = "Accepted for publication at the 24th Symposium on Implementation and Application of Functional Languages (IFL'12)",
  location = "Oxford, United Kingdom",
  series = "IFL '12",
}

@inproceedings{HWG13Uni,
  title = "Unifying Structured Recursion Schemes",
  author = "Hinze, Ralf and Wu, Nicolas and Gibbons, Jeremy",
  year = "2013",
  address = "New York, NY, USA",
  booktitle = "Proceedings of the 18th ACM SIGPLAN International Conference on Functional Programming",
  editor = "Uustalu, Tarmo",
  location = "Boston, Massachusetts, USA",
  pages = "209--220",
  publisher = "ACM",
  series = "ICFP '13",
  url = "http://www.cs.ox.ac.uk/jeremy.gibbons/publications/urs.pdf",
  doi = "10.1145/2500365.2500578",
}

@incollection{HMW13Dua,
  title = "A Duality of Sorts",
  author = "Hinze, Ralf and Magalhães, José Pedro and Wu, Nicolas",
  year = "2013",
  affiliation = "University of Oxford, Computing Laboratory, Wolfson Building, Parks Road, Oxford OX1 3QD, England",
  booktitle = "The Beauty of Functional Code",
  editor = "Achten, Peter and Koopman, Pieter",
  isbn = "978-3-642-40354-5",
  pages = "151-167",
  publisher = "Springer Berlin Heidelberg",
  series = "Lecture Notes in Computer Science",
  url = "http://dx.doi.org/10.1007/978-3-642-40355-2_11",
  volume = "8106",
  doi = "10.1007/978-3-642-40355-2_11",
}

@unpublished{HJWHM12Sor,
  title = "Sorting with Bialgebras and Distributive Laws",
  author = "Hinze, Ralf and James, Daniel W.H. and Harper, Thomas and Wu, Nicolas and Magalhães, José Pedro",
  year = "2012",
  month = "May",
  note = "Accepted to WGP '12",
  url = "http://www.cs.ox.ac.uk/people/daniel.james/sorting.html",
}

@inproceedings{HiW11Cat,
  title = "Towards a categorical foundation for generic programming",
  author = "Hinze, Ralf and Wu, Nicolas",
  year = "2011",
  address = "New York, NY, USA",
  booktitle = "Proceedings of the seventh ACM SIGPLAN workshop on Generic programming",
  editor = "J\"{a}rvi, Jaakko and Mu, Shin-Cheng",
  isbn = "978-1-4503-0861-8",
  location = "Tokyo, Japan",
  pages = "47-58",
  publisher = "ACM",
  series = "WGP '11",
  url = "http://doi.acm.org/10.1145/2036918.2036926",
  doi = "10.1145/2036918.2036926",
}