University of Oxford Logo University of OxfordDepartment of Computer Science - Home

Bruno Oliveira : Publications

By dateBy titleBy typeBibtex

[1]

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

[2]

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.

[3]

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.

[4]

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

[5]

Generic and Indexed Programming

Jeremy Gibbons‚ Meng Wang and Bruno Cesar dos Santos Oliveira

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

[6]

Genericity‚ extensibility and type−safety in the Visitor pattern

Bruno C. d. S. Oliveira

PhD Thesis 2007.

[7]

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.

[8]

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.

[9]

Objects to Unify Type Classes and GADTs

Bruno C. d. S. Oliveira and Martin Sulzmann

2008.

[10]

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

[11]

Scala for Generic Programmers

Bruno Oliveira and Jeremy Gibbons

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

[12]

The Different Aspects of Monads and Mixins

Bruno C. d. S. Oliveira

2009.

Draft Paper. Last Update: 04/03/2009. Submitted to ICFP 2009.

[13]

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

[14]

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

[15]

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.

[16]

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.

[17]

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.