Bruno Oliveira : Publications

Book chapters

• [1]

  Extensible and Modular Generics for the Masses

  Ralf Hinze Bruno C. d. S. Oliveira and Andres Loeh

  In Henrik Nilsson, editor, Trends in Functional Programming. 2007.

  Best student paper award

  Details about Extensible and Modular Generics for the Masses | BibTeX data for Extensible and Modular Generics for the Masses

Journal papers

• [1]

  Scala for Generic Programmers

  Bruno C. d. S. Oliveira and Jeremy Gibbons

  In Journal of Functional Programming. Vol. 20. No. 3‚4. Pages 303−352. 2010.

  Revised version of the WGP2008 paper

  Details about Scala for Generic Programmers | BibTeX data for Scala for Generic Programmers | DOI (10.1017/S0956796810000171) | Download (pdf) of Scala for Generic Programmers

• [2]

  Comparing Datatype Generic Libraries in Haskell

  Bruno C. d. S. Oliveira Alexey Rodriguez Johan Jeuring Patrik Jansson Alex Gerdes Oleg Kiselyov

  In Journal of Functional Programming. 2009.

  Revised version of the Haskell Symposium 2008 paper

  Details about Comparing Datatype Generic Libraries in Haskell | BibTeX data for Comparing Datatype Generic Libraries in Haskell

• [3]

  The Essence of the Iterator Pattern

  Jeremy Gibbons and Bruno César dos Santos Oliveira

  In Journal of Functional Programming. Vol. 19. No. 3&4. Pages 377−402. 2009.

  Revised version of Gibbons&Oliveira2006:Essence

  Details about The Essence of the Iterator Pattern | BibTeX data for The Essence of the Iterator Pattern | DOI (10.1017/S0956796809007291) | Download (pdf) of The Essence of the Iterator Pattern

Conference papers

• [1]

  EffectiveAdvice: Disciplined Advice with Explicit Effects

  Tom Schrijvers Bruno C. d. S. Oliveira and William R. Cook

  In ACM SIG Proceedings of the 9th International Conference on Aspect−Oriented Software Development (AOSD). 2010.

  Details about EffectiveAdvice: Disciplined Advice with Explicit Effects | BibTeX data for EffectiveAdvice: Disciplined Advice with Explicit Effects

• [2]

  What Does Aspect−Oriented Programming Mean for Functional Programmers?

  Meng Wang and Bruno C. d. S. Oliveira

  In Patrik Jansson, editor, Proceedings of the ACM SIGPLAN Workshop on Generic Programming (WGP'09). ACM. August, 2009.

  Details about What Does Aspect−Oriented Programming Mean for Functional Programmers? | BibTeX data for What Does Aspect−Oriented Programming Mean for Functional Programmers? | Download  (pdf) of What Does Aspect−Oriented Programming Mean for Functional Programmers?

• [3]

  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 about Modular Visitor Components: A Practical Solution to the Expression Families Problem | BibTeX data for Modular Visitor Components: A Practical Solution to the Expression Families Problem | Download  (pdf) of Modular Visitor Components: A Practical Solution to the Expression Families Problem

• [4]

  Comparing Libraries for Generic Programming in Haskell

  Bruno C. d. S. Oliveira Alexey Rodriguez Johan Jeuring Patrik Jansson Alex Gerdes Oleg Kiselyov

  In Haskell Symposium. 2008.

  Details about Comparing Libraries for Generic Programming in Haskell | BibTeX data for Comparing Libraries for Generic Programming in Haskell

• [5]

  The Visitor Pattern as a Reusable‚ Generic‚ Type−Safe Component

  Bruno C. d. S. Oliveira‚ Meng Wang and Jeremy Gibbons

  In Object−Oriented Programming: Systems‚ Languages‚ Applications (OOPSLA). 2008.

  Details about The Visitor Pattern as a Reusable‚ Generic‚ Type−Safe Component | BibTeX data for The Visitor Pattern as a Reusable‚ Generic‚ Type−Safe Component | DOI (10.1145/1449764.1449799) | Download (pdf) of The Visitor Pattern as a Reusable‚ Generic‚ Type−Safe Component

• [6]

  Scala for Generic Programmers

  Bruno Oliveira and Jeremy Gibbons

  In Ralf Hinze, editor, Workshop on Generic Programming. Victoria‚ BC. September, 2008.

  Details about Scala for Generic Programmers | BibTeX data for Scala for Generic Programmers | DOI (10.1145/1411318.1411323) | Download (pdf) of Scala for Generic Programmers

• [7]

  Generic and Indexed Programming

  Jeremy Gibbons‚ Meng Wang and Bruno Cesar dos Santos Oliveira

  In Marco Morazan, editor, Trends in Functional Programming. 2007.

  Details about Generic and Indexed Programming | BibTeX data for Generic and Indexed Programming | Download (pdf) of Generic and Indexed Programming

• [8]

  The Essence of the Iterator Pattern

  Jeremy Gibbons and Bruno César dos Santos Oliveira

  In Conor McBride and Tarmo Uustalu, editors, Mathematically−Structured Functional Programming. 2006.

  Superseded by Gibbons&Oliveira2008:Essence

  Details about The Essence of the Iterator Pattern | BibTeX data for The Essence of the Iterator Pattern | Download (pdf) of The Essence of the Iterator Pattern

• [9]

  Generics as a Library

  Bruno C. d. S. Oliveira‚ Ralf Hinze and Andres Löh

  In Henrik Nilsson, editor, Proceedings of the Seventh Symposium on Trends in Functional Programming (TFP '06). Intellect. 2006.

  Details about Generics as a Library | BibTeX data for Generics as a Library | Link to Generics as a Library

• [10]

  TypeCase: A Design Pattern for Type−Indexed Functions

  Bruno César dos Santos Oliveira and Jeremy Gibbons

  In Daan Leijen, editor, Haskell Workshop. Pages 98−109. 2005.

  Details about TypeCase: A Design Pattern for Type−Indexed Functions | BibTeX data for TypeCase: A Design Pattern for Type−Indexed Functions | DOI (10.1145/1088348.1088358) | Download (pdf) of TypeCase: A Design Pattern for Type−Indexed Functions

Technical reports

• [1]

  Draft Proceedings of the 24th Symposium on Implementation and Application of Functional Languages (IFL 2012)

  Ralf Hinze (editor)

  No. RR−12−06. DCS. 2012.

  Details about Draft Proceedings of the 24th Symposium on Implementation and Application of Functional Languages (IFL 2012) | BibTeX data for Draft Proceedings of the 24th Symposium on Implementation and Application of Functional Languages (IFL 2012) | Download  (pdf) of Draft Proceedings of the 24th Symposium on Implementation and Application of Functional Languages (IFL 2012)

Theses

• [1]

  Genericity‚ extensibility and type−safety in the Visitor pattern

  Bruno C. d. S. Oliveira

  PhD Thesis 2007.

  Details about Genericity‚ extensibility and type−safety in the Visitor pattern | BibTeX data for Genericity‚ extensibility and type−safety in the Visitor pattern | Download  (pdf) of Genericity‚ extensibility and type−safety in the Visitor pattern | Download (pdf) of Genericity‚ extensibility and type−safety in the Visitor pattern

Miscellaneous

• [1]

  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 about The Different Aspects of Monads and Mixins | BibTeX data for The Different Aspects of Monads and Mixins | Download  (pdf) of The Different Aspects of Monads and Mixins

• [2]

  Objects to Unify Type Classes and GADTs

  Bruno C. d. S. Oliveira and Martin Sulzmann

  2008.

  Details about Objects to Unify Type Classes and GADTs | BibTeX data for Objects to Unify Type Classes and GADTs