Bruno Oliveira : Publications
Click here to download all publications in a single bibtex file
@techreport{RR-12-06,
title = "Draft Proceedings of the 24th Symposium on Implementation and Application of Functional Languages (IFL 2012)",
author = "Ralf Hinze (editor)",
year = "2012",
institution = "DCS",
number = "RR-12-06",
pages = "560",
}
@article{scala-jfp,
title = "Scala for Generic Programmers",
author = "Bruno C. d. S. Oliveira and Jeremy Gibbons",
year = "2010",
journal = "Journal of Functional Programming",
note = "Revised version of the WGP2008 paper",
number = "3,4",
pages = "303-352",
url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/scalagp-jfp.pdf",
volume = "20",
doi = "10.1017/S0956796810000171",
}
@conference{effective-advice,
title = "EffectiveAdvice: Disciplined Advice with Explicit Effects",
author = "Bruno C. d. S. Oliveira, Tom Schrijvers and William R. Cook",
year = "2010",
booktitle = "ACM SIG Proceedings of the 9th International Conference on Aspect-Oriented Software Development (AOSD)",
}
@conference{wgp09,
title = "What Does Aspect-Oriented Programming Mean for Functional Programmers?",
author = "Meng Wang and Bruno C. d. S. Oliveira",
year = "2009",
booktitle = "Proceedings of the ACM SIGPLAN Workshop on Generic Programming (WGP'09)",
editor = "Patrik Jansson",
location = "Edinburgh, Scotland, UK.",
month = "August",
publisher = "ACM",
}
@inproceedings{2847,
title = "Modular Visitor Components: A Practical Solution to the Expression Families Problem",
author = "Bruno C. d. S. Oliveira",
year = "2009",
booktitle = "23rd European Conference on Object Oriented Programming (ECOOP)",
editor = "Sophia Drossopoulou",
journal = "23rd European Conference on Object Oriented Programming (ECOOP)",
location = "Genova, Italy",
month = "July",
}
@article{comparing-jfp,
title = "Comparing Datatype Generic Libraries in Haskell",
author = "Alexey Rodriguez, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov, Bruno C. d. S. Oliveira",
year = "2009",
journal = "Journal of Functional Programming",
note = "Revised version of the Haskell Symposium 2008 paper",
}
@article{Gibbons&Oliveira2008:Essence,
title = "The Essence of the Iterator Pattern",
author = "Jeremy Gibbons and Bruno César dos Santos Oliveira",
year = "2009",
journal = "Journal of Functional Programming",
note = "Revised version of \cite{Gibbons&Oliveira2006:Essence}",
number = "3&4",
pages = "377-402",
url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/iterator.pdf",
volume = "19",
doi = "10.1017/S0956796809007291",
}
@misc{2965,
title = "The Different Aspects of Monads and Mixins",
author = "Bruno C. d. S. Oliveira",
year = "2009",
note = "Draft Paper. Last Update: 04/03/2009. Submitted to ICFP 2009.",
}
@inproceedings{Oliveira&Gibbons2008:Scala,
title = "Scala for Generic Programmers",
author = "Bruno Oliveira and Jeremy Gibbons",
year = "2008",
address = "Victoria, BC",
booktitle = "Workshop on Generic Programming",
editor = "Ralf Hinze",
month = "Sep",
url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/scalagp.pdf",
doi = "10.1145/1411318.1411323",
}
@conference{comparing-hs,
title = "Comparing Libraries for Generic Programming in Haskell",
author = "Alexey Rodriguez, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov, Bruno C. d. S. Oliveira",
year = "2008",
booktitle = "Haskell Symposium",
}
@inproceedings{Oliveira*2008:Visitor,
title = "The Visitor Pattern as a Reusable, Generic, Type-Safe Component",
author = "Bruno C. d. S. Oliveira and Meng Wang and Jeremy Gibbons",
year = "2008",
booktitle = "Object-Oriented Programming: Systems, Languages, Applications (OOPSLA)",
url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/visitor.pdf",
doi = "10.1145/1449764.1449799",
}
@unpublished{objects-typeclasses-gadts,
title = "Objects to Unify Type Classes and GADTs",
author = "Bruno C. d. S. Oliveira and Martin Sulzmann",
year = "2008",
}
@inproceedings{Gibbons*2007:Generic,
title = "Generic and Indexed Programming",
author = "Jeremy Gibbons and Meng Wang and Bruno Cesar dos Santos Oliveira",
year = "2007",
booktitle = "Trends in Functional Programming",
editor = "Marco Morazan",
url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/gip.pdf",
}
@phdthesis{oliveira07genericity,
title = "Genericity, extensibility and type-safety in the Visitor pattern",
author = "Bruno C. d. S. Oliveira",
year = "2007",
url = "http://www.comlab.ox.ac.uk/people/Bruno.Oliveira/Thesis.pdf",
}
@incollection{emgm,
title = "Extensible and Modular Generics for the Masses",
author = "Bruno C. d. S. Oliveira, Ralf Hinze and Andres Loeh",
year = "2007",
booktitle = "Trends in Functional Programming",
editor = "Henrik Nilsson",
note = "Best student paper award",
}
@inproceedings{Gibbons&Oliveira2006:Essence,
title = "The Essence of the Iterator Pattern",
author = "Jeremy Gibbons and Bruno C\'esar dos Santos Oliveira",
year = "2006",
booktitle = "Mathematically-Structured Functional Programming",
editor = "Conor McBride and Tarmo Uustalu",
note = "Superseded by \cite{Gibbons&Oliveira2008:Essence}",
url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/iterator-msfp.pdf",
}
@inproceedings{HLO06Gen,
title = "Generics as a Library",
author = "Oliveira, Bruno C. d. S. and Hinze, Ralf and L{\"o}h, Andres",
year = "2006",
booktitle = "Proceedings of the Seventh Symposium on Trends in Functional Programming (TFP '06)",
editor = "Nilsson, Henrik",
isbn = "ISBN 9781841501888",
location = "Nottingham, UK",
publisher = "Intellect",
url = "http://www.intellectbooks.co.uk/books/view-Book,id=4576/",
}
@inproceedings{Oliveira&Gibbons2005:TypeCase,
title = "TypeCase: A Design Pattern for Type-Indexed Functions",
author = "Bruno C\'esar dos Santos Oliveira and Jeremy Gibbons",
year = "2005",
booktitle = "Haskell Workshop",
editor = "Daan Leijen",
pages = "98-109",
url = "http://www.comlab.ox.ac.uk/oucl/work/jeremy.gibbons/publications/typecase.pdf",
doi = "10.1145/1088348.1088358",
}