Bruno Oliveira : Publications

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)

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

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

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?

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

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

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

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

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

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

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

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

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

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

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

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

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

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