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
1512010
“Scrap Your Boilerplate” Reloaded
R Hinze, A Löh, B Oliveira
Functional and Logic Programming, 13-29, 2006
105*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
1012009
The essence of the Iterator pattern
J Gibbons, BCS Oliveira
Journal of Functional Programming 19 (3-4), 377-402, 2009
992009
Meta-Theory a la Carte
B Delaware, BCS Oliveira, T Schrijvers
852013
Extensible and Modular Generics for the masses
BCS Oliveira, R Hinze, A Loh
Trends in Functional Programming, 199-216, 2007
80*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
522013
The visitor pattern as a reusable, generic, type-safe component
BCS Oliveira, M Wang, J Gibbons
ACM SIGPLAN Notices 43 (10), 439-456, 2008
502008
Scala for generic programmers
BCDS OLIVEIRA, J Gibbons
Journal of Functional Programming 20 (3-4), 303-352, 2010
49*2010
Extensibility for the masses: Practical extensibility with object algebras
BCS Oliveira, WR Cook
European Conference on Object-Oriented Programming, 2-27, 2012
462012
Monads, zippers and views: virtualizing the monad stack
T Schrijvers, BCS Oliveira
ACM SIGPLAN Notices 46 (9), 32-44, 2011
45*2011
Modular monadic meta-theory
B Delaware, S Keuchel, T Schrijvers, BCS Oliveira
ACM SIGPLAN Notices 48 (9), 319-330, 2013
422013
Functional programming with structured graphs
BCS Oliveira, WR Cook
Proceedings of the 17th ACM SIGPLAN international conference on Functional …, 2012
412012
Consistent subtyping for all
N Xie, X Bi, BCS Oliveira
Programming Languages and Systems: 27th European Symposium on Programming …, 2018
402018
Quantified class constraints
GJ Bottu, G Karachalias, T Schrijvers, BCS Oliveira, P Wadler
ACM SIGPLAN Notices 52 (10), 148-161, 2017
372017
Typecase: A design pattern for type-indexed functions
BCS Oliveira, J Gibbons
Proceedings of the 2005 ACM SIGPLAN workshop on Haskell, 98-109, 2005
362005
The expression problem, trivially!
Y Wang, BCS Oliveira
Proceedings of the 15th International Conference on Modularity, 37-41, 2016
352016
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
The system can't perform the operation now. Try again later.
Articles 1–20