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/publications/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",
}