Follow
Bruno C. d. S. Oliveira
Title
Cited by
Cited by
Year
Type classes as objects and implicits
BCS Oliveira, A Moors, M Odersky
ACM SIGPLAN Notices 45 (10), 341-360, 2010
1452010
“Scrap Your Boilerplate” Reloaded
R Hinze, A Löh, B Oliveira
Functional and Logic Programming, 13-29, 2006
103*2006
Comparing libraries for generic programming in Haskell
A Rodriguez, J Jeuring, P Jansson, A Gerdes, O Kiselyov, BCS Oliveira
ACM SIGPLAN Notices 44 (2), 111-122, 2009
992009
The essence of the Iterator pattern
J Gibbons, BCS Oliveira
Journal of Functional Programming 19 (3-4), 377-402, 2009
972009
Meta-Theory a la Carte
B Delaware, BCS Oliveira, T Schrijvers
822013
Extensible and Modular Generics for the masses
BCS Oliveira, R Hinze, A Loh
Trends in Functional Programming, 199-216, 2007
79*2007
Partition-based regression verification
M Böhme, BCDS Oliveira, A Roychoudhury
2013 35th International Conference on Software Engineering (ICSE), 302-311, 2013
732013
Regression tests to expose change interaction errors
M Böhme, BCS Oliveira, A Roychoudhury
Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013
532013
Scala for generic programmers
BCDS OLIVEIRA, J Gibbons
Journal of Functional Programming 20 (3-4), 303-352, 2010
48*2010
The visitor pattern as a reusable, generic, type-safe component
BCS Oliveira, M Wang, J Gibbons
ACM SIGPLAN Notices 43 (10), 439-456, 2008
482008
Extensibility for the masses: Practical extensibility with object algebras
BCS Oliveira, WR Cook
European Conference on Object-Oriented Programming, 2-27, 2012
45*2012
Monads, zippers and views: virtualizing the monad stack
T Schrijvers, BCS Oliveira
ACM SIGPLAN Notices 46 (9), 32-44, 2011
44*2011
Consistent subtyping for all
N Xie, X Bi, BCS Oliveira
Programming Languages and Systems: 27th European Symposium on Programming …, 2018
392018
Functional programming with structured graphs
BCS Oliveira, WR Cook
Proceedings of the 17th ACM SIGPLAN international conference on Functional …, 2012
392012
Modular monadic meta-theory
B Delaware, S Keuchel, T Schrijvers, BCS Oliveira
ACM SIGPLAN Notices 48 (9), 319-330, 2013
382013
Quantified class constraints
GJ Bottu, G Karachalias, T Schrijvers, BCS Oliveira, P Wadler
ACM SIGPLAN Notices 52 (10), 148-161, 2017
372017
The expression problem, trivially!
Y Wang, BCS Oliveira
Proceedings of the 15th International Conference on Modularity, 37-41, 2016
342016
GMeta: A Generic Formal Metatheory Framework for First-Order Representations
G Lee, B Oliveira, S Cho, K Yi
Programming Languages and Systems, 436-455, 2012
34*2012
The implicit calculus: a new foundation for generic programming
BCS Oliveira, T Schrijvers, W Choi, W Lee, K Yi
ACM SIGPLAN Notices 47 (6), 35-44, 2012
332012
Typecase: A design pattern for type-indexed functions
BCS Oliveira, J Gibbons
Proceedings of the 2005 ACM SIGPLAN workshop on Haskell, 98-109, 2005
332005
The system can't perform the operation now. Try again later.
Articles 1–20