|
|
Bruno Oliveira: Publications
by date |
by title |
by type |
bibtex
journal papers
|
[1]
|
The Essence of The Iterator Pattern
Jeremy Gibbons, Bruno C. d. S. Oliveira
Journal of Functional Programming, Vol. 19, pages 377-402. July 2009.
Details
|
BibTeX
| Link (pdf) |
conference papers
|
[1]
|
What does Aspect-Oriented Programming mean for Functional Programmers?
Meng Wang, Bruno C. d. S. Oliveira
In Patrik Jansson, editor, Proceedings of the ACM SIGPLAN Workshop on Generic Programming (WGP'09) August 2009.
Details
|
BibTeX
| Download (pdf) |
|
[2]
|
Modular Visitor Components: A Practical Solution to the Expression Families Problem
Bruno C. d. S. Oliveira
In Sophia Drossopoulou, editor, 23rd European Conference on Object Oriented Programming (ECOOP) July 2009.
Details
|
BibTeX
| Download (pdf) |
|
[3]
|
Scala for Generic Programmers
Bruno C. d. S. Oliveira, Jeremy Gibbons
In Ralf Hinze, editor, Proceedings of the ACM SIGPLAN Workshop on Generic Programming (WGP'08) September 2008.
Details
|
BibTeX
| Link (pdf) |
|
[4]
|
TypeCase: A Design Pattern for Type-Indexed Functions
Bruno C. d. S. Oliveira, Jeremy Gibbons
In Daan Leijen, editor, ACM SIGPLAN Haskell Workshop (HW'05) September 2005.
Details
|
BibTeX
| Link (pdf) |
|
[5]
|
Generics as a Library
Bruno C. d. S. Oliveira, Ralf Hinze,, Andres Loeh
In Henrik Nilsson, editor, Trends in Functional Programming (TFP 2006) 2006.
Draft Proceedings.
Details
|
BibTeX
| Link (pdf) |
|
[6]
|
"Scrap Your Boilerplate" Reloaded
Ralf Hinze, Andres Loeh,, Bruno C. d. S. Oliveira
In Philip Wadler, Masami Hagiya, editors, Functional and Logic Programming (FLOPS 2006) 2006.
Details
|
BibTeX
| Link (html) |
|
[7]
|
Extensible and Modular Generics for the Masses
Bruno C. d. S. Oliveira, Ralf Hinze,, Andres Loeh
In Henrik Nilsson, editor, Trends in Functional Programming (TFP 2006) 2007.
best student paper award.
Details
|
BibTeX
| Link (pdf) |
|
[8]
|
Comparing Libraries For Generic Programming In Haskell
Alexey Rodriguez, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov, Bruno C. d. S. Oliveira
In Andy Gill, editor, ACM SIGPLAN Haskell Symposium 2008.
Details
|
BibTeX
| Link (pdf) |
|
[9]
|
The Essence of The Iterator Pattern
Jeremy Gibbons, Bruno C. d. S. Oliveira
In Conor McBride, Tarmo Uustalu, editors, Workshop on Mathematically Structured Functional Programming (MSFP 2006) July 2006.
Details
|
BibTeX
| Link (pdf) |
|
[10]
|
Generic and Indexed Programming
Jeremy Gibbons, Meng Wang, Bruno C. d. S. Oliveira
In Marco T. Morazan, Henrik Nilsson, editors, Trends in Functional Programming (TFP 2007) 2007.
Details
|
BibTeX
| Link (pdf) |
|
[11]
|
Scalable Problem Localization for Distributed Systems: Principles and Practices
Rui Zhang, Bruno C. d. S. Oliveira, Alan Bivens, Steve McKeever
In ACM International Conference Proceedings of the Second International Conference on Scalable Information Systems (Infoscale'07) June 2007.
Details
|
BibTeX
| Link (pdf) |
|
[12]
|
The Visitor Pattern as a Reusable, Generic, Type-Safe Component
Bruno C. d. S. Oliveira, Meng Wang,, Jeremy Gibbons
In Gregor Kiczales, editor, Proceedings of the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) October 2008.
Details
|
BibTeX
| Link (pdf) |
theses
|
[1]
|
Genericity, extensibility and type-safety in the Visitor pattern
Bruno C. d. S. Oliveira
PhD Thesis, 2007.
Details
|
BibTeX
| Download (pdf) |
miscellaneous
|
[1]
|
EffectiveAdvice: Disciplined Advice with Explicit Effects
Bruno C. d. S. Oliveira, Tom Schrijvers, William R. Cook
July 2009.
Draft Paper. Technical report of the POPL submission.
Details
|
BibTeX
| Link (pdf) |
|
[2]
|
The Different Aspects of Monads and Mixins
Bruno C. d. S. Oliveira
2009.
Draft Paper. Last Update: 04/03/2009. Submitted to ICFP 2009.
Details
|
BibTeX
| Download (pdf) |
|
[3]
|
Objects to Unify Type Classes and GADTs
Bruno C. d. S. Oliveira, Martin Sulzmann
2008.
Submitted to ICFP 2008.
Details
|
BibTeX
| Link (pdf) |
|
|
|
|
