Bruno C. d. S. Oliveira

According to our database1, Bruno C. d. S. Oliveira authored at least 53 papers between 2005 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2018
The Essence of Nested Composition (Artifact).
DARTS, 2018

Typed First-Class Traits (Artifact).
DARTS, 2018

Formalization of a Polymorphic Subtyping Algorithm.
Proceedings of the Interactive Theorem Proving - 9th International Conference, 2018

Pattern matching in an open world.
Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2018

Let Arguments Go First.
Proceedings of the Programming Languages and Systems, 2018

Consistent Subtyping for All.
Proceedings of the Programming Languages and Systems, 2018

FHJ: A Formal Model for Hierarchical Dispatching and Overriding.
Proceedings of the 32nd European Conference on Object-Oriented Programming, 2018

The Essence of Nested Composition.
Proceedings of the 32nd European Conference on Object-Oriented Programming, 2018

Typed First-Class Traits.
Proceedings of the 32nd European Conference on Object-Oriented Programming, 2018

2017
Unifying typing and subtyping.
PACMPL, 2017

EVF: An Extensible and Expressive Visitor Framework for Programming Language Reuse (Artifact).
DARTS, 2017

Type-safe modular parsing.
Proceedings of the 10th ACM SIGPLAN International Conference on Software Language Engineering, 2017

Quantified class constraints.
Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, 2017

Disjoint Polymorphism.
Proceedings of the Programming Languages and Systems, 2017

EVF: An Extensible and Expressive Visitor Framework for Programming Language Reuse.
Proceedings of the 31st European Conference on Object-Oriented Programming, 2017

2016
Disjoint intersection types.
Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016

Classless Java.
Proceedings of the 2016 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2016

Unified Syntax with Iso-types.
Proceedings of the Programming Languages and Systems - 14th Asian Symposium, 2016

The expression problem, trivially!
Proceedings of the 15th International Conference on Modularity, 2016

Modular architecture for code and metadata sharing.
Proceedings of the 15th International Conference on Modularity, 2016

2015
Scrap your boilerplate with object algebras.
Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

Modular reifiable matching: a list-of-functors approach to two-level types.
Proceedings of the 8th ACM SIGPLAN Symposium on Haskell, 2015

Memory-Efficient Tail Calls in the JVM with Imperative Functional Objects.
Proceedings of the Programming Languages and Systems - 13th Asian Symposium, 2015

2014
Functional programming, object-oriented programming and algebras!
Proceedings of the 10th ACM SIGPLAN workshop on Generic programming, 2014

2013
Regression Testing of Evolving Programs.
Advances in Computers, 2013

Regression tests to expose change interaction errors.
Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

Meta-theory à la carte.
Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

Abstract syntax graphs for domain specific languages.
Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, 2013

Partition-based regression verification.
Proceedings of the 35th International Conference on Software Engineering, 2013

Modular monadic meta-theory.
Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2013

Feature-Oriented Programming with Object Algebras.
Proceedings of the ECOOP 2013 - Object-Oriented Programming, 2013

2012
MRI: Modular reasoning about interference in incremental programming.
J. Funct. Program., 2012

Extended Report: The Implicit Calculus
CoRR, 2012

The implicit calculus: a new foundation for generic programming.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

Functional programming with structured graphs.
Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2012

GMeta: A Generic Formal Metatheory Framework for First-Order Representations.
Proceedings of the Programming Languages and Systems, 2012

Extensibility for the Masses - Practical Extensibility with Object Algebras.
Proceedings of the ECOOP 2012 - Object-Oriented Programming, 2012

2011
Monads, zippers and views: virtualizing the monad stack.
Proceedings of the Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, 2011

2010
Scala for generic programmers.
J. Funct. Program., 2010

Type classes as objects and implicits.
Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

EffectiveAdvice: disciplined advice with explicit effects.
Proceedings of the 9th International Conference on Aspect-Oriented Software Development, 2010

2009
The essence of the Iterator pattern.
J. Funct. Program., 2009

What does aspect-oriented programming mean for functional programmers?
Proceedings of the 2009 ACM SIGPLAN workshop on Generic programming, 2009

Modular Visitor Components.
Proceedings of the ECOOP 2009, 2009

2008
The visitor pattern as a reusable, generic, type-safe component.
Proceedings of the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008

Scala for generic programmers.
Proceedings of the ACM SIGPLAN Workshop on Genetic Programming, 2008

Comparing libraries for generic programming in haskell.
Proceedings of the 1st ACM SIGPLAN Symposium on Haskell, 2008

2007
Genericity, extensibility and type : safety in the VISITOR pattern.
PhD thesis, 2007

Scalable problem localization for distributed systems: principles and practices.
Proceedings of the 2nf International Conference on Scalable Information Systems, 2007

2006
Extensible and modular generics for the masses.
Proceedings of the Revised Selected Papers from the Seventh Symposium on Trends in Functional Programming, 2006

The Essence of the ITERATOR Pattern.
Proceedings of the Workshop on Mathematically Structured Functional Programming, 2006

"Scrap Your Boilerplate" Reloaded.
Proceedings of the Functional and Logic Programming, 8th International Symposium, 2006

2005
TypeCase: a design pattern for type-indexed functions.
Proceedings of the ACM SIGPLAN Workshop on Haskell, 2005


  Loading...