Genericity‚ extensibility and type−safety in the Visitor pattern by Oliveira, B

Comparison between RVE and full mesh approaches for the simulation of compression tests on cellular metals / by Oliveira, B.F.

Scala for generic programmers Comparing Haskell and Scala support for generic programming by Oliveira, B, Gibbons, J

TypeCase: A design pattern for type-indexed functions by Oliveira, B, Gibbons, J

Objects to Unify Type Classes and GADTs by Oliveira, B, Sulzmann, M

Modular Visitor Components: A Practical Solution to the Expression Families Problem by dos Santos Oliveira, B

The Essence of the Iterator Pattern by Gibbons, J, Oliveira, B

The Essence of the Iterator Pattern by Gibbons, J, Oliveira, B

Scala for Generic Programmers by Oliveira, B, Gibbons, J

The essence of the ITERATOR pattern by Gibbons, J, Oliveira, B

What Does Aspect−Oriented Programming Mean for Functional Programmers? by Wang, M, Oliveira, B

The Different Aspects of Monads and Mixins by dos Santos Oliveira, B

Scala for Generic Programmers by Oliveira, B, Gibbons, J, ACM

TypeCase: A Design Pattern for Type−Indexed Functions by dos Santos Oliveira, B, Gibbons, J

"Scrap your boilerplate" reloaded by Hinze, R, Loh, A, Oliveira, B

Scala for Generic Programmers by dos Santos Oliveira, B, Gibbons, J

The VISITOR Pattern as a Reusable, Generic, Type-Safe Component by Oliveira, B, Wang, M, Gibbons, J

Generic and Indexed Programming by Gibbons, J, Wang, M, Oliveira, B

Extensible and Modular Generics for the Masses by Oliveira, B, Hinze, R, Loeh, A

The VISITOR Pattern as a Reusable, Generic, Type-Safe Component by Oliveira, B, Wang, M, Gibbons, J, ACM