Bruno C. d. S. Oliveira

Orcid: 0000-0002-1846-7210

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Full Iso-recursive Types.
CoRR, 2024

2023
Greedy Implicit Bounded Quantification.
Proc. ACM Program. Lang., October, 2023

Recursive Subtyping for All.
Proc. ACM Program. Lang., January, 2023

Making a Type Difference: Subtraction on Intersection Types as Generalized Record Operations.
Proc. ACM Program. Lang., January, 2023

A Bowtie for a Beast: Overloading, Eta Expansion, and Extensible Data Types in F⋈.
Proc. ACM Program. Lang., January, 2023

Dependent Merges and First-Class Environments (Artifact).
Dagstuhl Artifacts Ser., 2023

Pragmatic Gradual Polymorphism with References.
Proceedings of the Programming Languages and Systems, 2023

Dependent Merges and First-Class Environments.
Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

2022
Compositional embeddings of domain-specific languages.
Proc. ACM Program. Lang., 2022

Elementary Type Inference (Artifact).
Dagstuhl Artifacts Ser., 2022

Union Types with Disjoint Switches (Artifact).
Dagstuhl Artifacts Ser., 2022

Direct Foundations for Compositional Programming (Artifact).
Dagstuhl Artifacts Ser., 2022

Elementary Type Inference.
Proceedings of the 36th European Conference on Object-Oriented Programming, 2022

Union Types with Disjoint Switches.
Proceedings of the 36th European Conference on Object-Oriented Programming, 2022

Direct Foundations for Compositional Programming.
Proceedings of the 36th European Conference on Object-Oriented Programming, 2022

A Calculus with Recursive Types, Record Concatenation and Subtyping.
Proceedings of the Programming Languages and Systems - 20th Asian Symposium, 2022

Applicative Intersection Types.
Proceedings of the Programming Languages and Systems - 20th Asian Symposium, 2022

2021
Compositional Programming.
ACM Trans. Program. Lang. Syst., 2021

A dependently typed calculus with polymorphic subtyping.
Sci. Comput. Program., 2021

Distributing intersection and union types with splits and duality (functional pearl).
Proc. ACM Program. Lang., 2021

Taming the Merge Operator.
J. Funct. Program., 2021

Compositional Programming (Artifact).
Dagstuhl Artifacts Ser., 2021

Type-Directed Operational Semantics for Gradual Typing (Artifact).
Dagstuhl Artifacts Ser., 2021

Type-Directed Operational Semantics for Gradual Typing.
Proceedings of the 35th European Conference on Object-Oriented Programming, 2021

2020
Consistent Subtyping for All.
ACM Trans. Program. Lang. Syst., 2020

Castor: Programming with extensible generative visitors.
Sci. Comput. Program., 2020

Revisiting iso-recursive subtyping.
Proc. ACM Program. Lang., 2020

Kind inference for datatypes.
Proc. ACM Program. Lang., 2020

Resolution as intersection subtyping via Modus Ponens.
Proc. ACM Program. Lang., 2020

The Duality of Subtyping (Artifact).
Dagstuhl Artifacts Ser., 2020

A Type-Directed Operational Semantics For a Calculus with a Merge Operator (Artifact).
Dagstuhl Artifacts Ser., 2020

Row and Bounded Polymorphism via Disjoint Polymorphism.
Proceedings of the 34th European Conference on Object-Oriented Programming, 2020

The Duality of Subtyping.
Proceedings of the 34th European Conference on Object-Oriented Programming, 2020

A Type-Directed Operational Semantics For a Calculus with a Merge Operator.
Proceedings of the 34th European Conference on Object-Oriented Programming, 2020

2019
Shallow EDSLs and Object-Oriented Programming: Beyond Simple Compositionality.
Art Sci. Eng. Program., 2019

Separating Use and Reuse to Improve Both.
Art Sci. Eng. Program., 2019

A mechanical formalization of higher-ranked polymorphic type inference.
Proc. ACM Program. Lang., 2019

Pure iso-type systems.
J. Funct. Program., 2019

COCHIS: Stable and coherent implicits.
J. Funct. Program., 2019

Kind Inference for Datatypes: Technical Supplement.
CoRR, 2019

Distributive Disjoint Polymorphism for Compositional Programming.
Proceedings of the Programming Languages and Systems, 2019

2018
The Essence of Nested Composition (Artifact).
Dagstuhl Artifacts Ser., 2018

Typed First-Class Traits (Artifact).
Dagstuhl Artifacts Ser., 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.
Proc. ACM Program. Lang., 2017

EVF: An Extensible and Expressive Visitor Framework for Programming Language Reuse (Artifact).
Dagstuhl Artifacts Ser., 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.
Adv. Comput., 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

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

"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...