Bruno C. d. S. Oliveira

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

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Full Iso-Recursive Types.

Litao Zhou, Qianyong Wan, Bruno C. d. S. Oliveira

Proc. ACM Program. Lang., 2024

Imperative Compositional Programming: Type Sound Distributive Intersection Subtyping with References via Bidirectional Typing.

Wenjia Ye, Yaozhu Sun, Bruno C. d. S. Oliveira

Proc. ACM Program. Lang., 2024

Merging Gradual Typing.

Wenjia Ye, Bruno C. d. S. Oliveira, Matías Toro

Proc. ACM Program. Lang., 2024

Contextual Typing.

Xu Xue, Bruno C. d. S. Oliveira

Proc. ACM Program. Lang., 2024

A Case for First-Class Environments.

Jinhao Tan, Bruno C. d. S. Oliveira

Proc. ACM Program. Lang., 2024

Type-directed operational semantics for gradual typing.

Wenjia Ye, Bruno C. d. S. Oliveira

J. Funct. Program., 2024

Disjoint Polymorphism with Intersection and Union Types.

Baber Rehman, Bruno C. d. S. Oliveira

Proceedings of the 26th ACM International Workshop on Formal Techniques for Java-like Programs, 2024

2023

Greedy Implicit Bounded Quantification.

Chen Cui, Shengyi Jiang, Bruno C. d. S. Oliveira

Proc. ACM Program. Lang., October, 2023

Recursive Subtyping for All.

Litao Zhou, Yaoda Zhou, Bruno C. d. S. Oliveira

Proc. ACM Program. Lang., January, 2023

Making a Type Difference: Subtraction on Intersection Types as Generalized Record Operations.

Han Xu, Xuejing Huang, Bruno C. d. S. Oliveira

Proc. ACM Program. Lang., January, 2023

A Bowtie for a Beast: Overloading, Eta Expansion, and Extensible Data Types in F⋈.

Nick Rioux, Xuejing Huang, Bruno C. d. S. Oliveira, Steve Zdancewic

Proc. ACM Program. Lang., January, 2023

Dependent Merges and First-Class Environments (Artifact).

Jinhao Tan, Bruno C. d. S. Oliveira

Dagstuhl Artifacts Ser., 2023

Pragmatic Gradual Polymorphism with References.

Wenjia Ye, Bruno C. d. S. Oliveira

Proceedings of the Programming Languages and Systems, 2023

Dependent Merges and First-Class Environments.

Jinhao Tan, Bruno C. d. S. Oliveira

Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

2022

Compositional embeddings of domain-specific languages.

Yaozhu Sun, Utkarsh Dhandhania, Bruno C. d. S. Oliveira

Proc. ACM Program. Lang., 2022

Elementary Type Inference (Artifact).

Jinxu Zhao, Bruno C. d. S. Oliveira

Dagstuhl Artifacts Ser., 2022

Union Types with Disjoint Switches (Artifact).

Baber Rehman, Xuejing Huang, Ningning Xie, Bruno C. d. S. Oliveira

Dagstuhl Artifacts Ser., 2022

Direct Foundations for Compositional Programming (Artifact).

Andong Fan, Xuejing Huang, Han Xu, Yaozhu Sun, Bruno C. d. S. Oliveira

Dagstuhl Artifacts Ser., 2022

Elementary Type Inference.

Jinxu Zhao, Bruno C. d. S. Oliveira

Proceedings of the 36th European Conference on Object-Oriented Programming, 2022

Union Types with Disjoint Switches.

Baber Rehman, Xuejing Huang, Ningning Xie, Bruno C. d. S. Oliveira

Proceedings of the 36th European Conference on Object-Oriented Programming, 2022

Direct Foundations for Compositional Programming.

Andong Fan, Xuejing Huang, Han Xu, Yaozhu Sun, Bruno C. d. S. Oliveira

Proceedings of the 36th European Conference on Object-Oriented Programming, 2022

A Calculus with Recursive Types, Record Concatenation and Subtyping.

Yaoda Zhou, Bruno C. d. S. Oliveira, Andong Fan

Proceedings of the Programming Languages and Systems - 20th Asian Symposium, 2022

Applicative Intersection Types.

Xu Xue, Bruno C. d. S. Oliveira, Ningning Xie

Proceedings of the Programming Languages and Systems - 20th Asian Symposium, 2022

2021

Compositional Programming.

Weixin Zhang, Yaozhu Sun, Bruno C. d. S. Oliveira

ACM Trans. Program. Lang. Syst., 2021

A dependently typed calculus with polymorphic subtyping.

Mingqi Xue, Bruno C. d. S. Oliveira

Sci. Comput. Program., 2021

Distributing intersection and union types with splits and duality (functional pearl).

Xuejing Huang, Bruno C. d. S. Oliveira

Proc. ACM Program. Lang., 2021

Taming the Merge Operator.

Xuejing Huang, Jinxu Zhao, Bruno C. d. S. Oliveira

J. Funct. Program., 2021

Compositional Programming (Artifact).

Weixin Zhang, Yaozhu Sun, Bruno C. d. S. Oliveira

Dagstuhl Artifacts Ser., 2021

Type-Directed Operational Semantics for Gradual Typing (Artifact).

Wenjia Ye, Bruno C. d. S. Oliveira, Xuejing Huang

Dagstuhl Artifacts Ser., 2021

Type-Directed Operational Semantics for Gradual Typing.

Wenjia Ye, Bruno C. d. S. Oliveira, Xuejing Huang

Proceedings of the 35th European Conference on Object-Oriented Programming, 2021

2020

Consistent Subtyping for All.

Ningning Xie, Xuan Bi, Bruno C. d. S. Oliveira, Tom Schrijvers

ACM Trans. Program. Lang. Syst., 2020

Castor: Programming with extensible generative visitors.

Weixin Zhang, Bruno C. d. S. Oliveira

Sci. Comput. Program., 2020

Revisiting iso-recursive subtyping.

Yaoda Zhou, Bruno C. d. S. Oliveira, Jinxu Zhao

Proc. ACM Program. Lang., 2020

Kind inference for datatypes.

Ningning Xie, Richard A. Eisenberg, Bruno C. d. S. Oliveira

Proc. ACM Program. Lang., 2020

Resolution as intersection subtyping via Modus Ponens.

Koar Marntirosian, Tom Schrijvers, Bruno C. d. S. Oliveira, Georgios Karachalias

Proc. ACM Program. Lang., 2020

The Duality of Subtyping (Artifact).

Bruno C. d. S. Oliveira, Shaobo Cui, Baber Rehman

Dagstuhl Artifacts Ser., 2020

A Type-Directed Operational Semantics For a Calculus with a Merge Operator (Artifact).

Xuejing Huang, Bruno C. d. S. Oliveira

Dagstuhl Artifacts Ser., 2020

Row and Bounded Polymorphism via Disjoint Polymorphism.

Ningning Xie, Bruno C. d. S. Oliveira, Xuan Bi, Tom Schrijvers

Proceedings of the 34th European Conference on Object-Oriented Programming, 2020

The Duality of Subtyping.

Bruno C. d. S. Oliveira, Shaobo Cui, Baber Rehman

Proceedings of the 34th European Conference on Object-Oriented Programming, 2020

A Type-Directed Operational Semantics For a Calculus with a Merge Operator.

Xuejing Huang, Bruno C. d. S. Oliveira

Proceedings of the 34th European Conference on Object-Oriented Programming, 2020

2019

Shallow EDSLs and Object-Oriented Programming: Beyond Simple Compositionality.

Weixin Zhang, Bruno C. d. S. Oliveira

Art Sci. Eng. Program., 2019

Separating Use and Reuse to Improve Both.

Hrshikesh Arora, Marco Servetto, Bruno C. d. S. Oliveira

Art Sci. Eng. Program., 2019

A mechanical formalization of higher-ranked polymorphic type inference.

Jinxu Zhao, Bruno C. d. S. Oliveira, Tom Schrijvers

Proc. ACM Program. Lang., 2019

Pure iso-type systems.

Yanpeng Yang, Bruno C. d. S. Oliveira

J. Funct. Program., 2019

COCHIS: Stable and coherent implicits.

Tom Schrijvers, Bruno C. d. S. Oliveira, Philip Wadler, Koar Marntirosian

J. Funct. Program., 2019

Kind Inference for Datatypes: Technical Supplement.

Ningning Xie, Richard A. Eisenberg, Bruno C. d. S. Oliveira

CoRR, 2019

Distributive Disjoint Polymorphism for Compositional Programming.

Xuan Bi, Ningning Xie, Bruno C. d. S. Oliveira, Tom Schrijvers

Proceedings of the Programming Languages and Systems, 2019

2018

The Essence of Nested Composition (Artifact).

Xuan Bi, Bruno C. d. S. Oliveira, Tom Schrijvers

Dagstuhl Artifacts Ser., 2018

Typed First-Class Traits (Artifact).

Xuan Bi, Bruno C. d. S. Oliveira

Dagstuhl Artifacts Ser., 2018

Formalization of a Polymorphic Subtyping Algorithm.

Jinxu Zhao, Bruno C. d. S. Oliveira, Tom Schrijvers

Proceedings of the Interactive Theorem Proving - 9th International Conference, 2018

Pattern matching in an open world.

Weixin Zhang, Bruno C. d. S. Oliveira

Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2018

Let Arguments Go First.

Ningning Xie, Bruno C. d. S. Oliveira

Proceedings of the Programming Languages and Systems, 2018

Consistent Subtyping for All.

Ningning Xie, Xuan Bi, Bruno C. d. S. Oliveira

Proceedings of the Programming Languages and Systems, 2018

FHJ: A Formal Model for Hierarchical Dispatching and Overriding.

Yanlin Wang, Haoyuan Zhang, Bruno C. d. S. Oliveira, Marco Servetto

Proceedings of the 32nd European Conference on Object-Oriented Programming, 2018

The Essence of Nested Composition.

Xuan Bi, Bruno C. d. S. Oliveira, Tom Schrijvers

Proceedings of the 32nd European Conference on Object-Oriented Programming, 2018

Typed First-Class Traits.

Xuan Bi, Bruno C. d. S. Oliveira

Proceedings of the 32nd European Conference on Object-Oriented Programming, 2018

2017

Unifying typing and subtyping.

Yanpeng Yang, Bruno C. d. S. Oliveira

Proc. ACM Program. Lang., 2017

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

Weixin Zhang, Bruno C. d. S. Oliveira

Dagstuhl Artifacts Ser., 2017

Type-safe modular parsing.

Haoyuan Zhang, Huang Li, Bruno C. d. S. Oliveira

Proceedings of the 10th ACM SIGPLAN International Conference on Software Language Engineering, 2017

Quantified class constraints.

Gert-Jan Bottu, Georgios Karachalias, Tom Schrijvers, Bruno C. d. S. Oliveira, Philip Wadler

Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, 2017

Disjoint Polymorphism.

João Alpuim, Bruno C. d. S. Oliveira, Zhiyuan Shi

Proceedings of the Programming Languages and Systems, 2017

EVF: An Extensible and Expressive Visitor Framework for Programming Language Reuse.

Weixin Zhang, Bruno C. d. S. Oliveira

Proceedings of the 31st European Conference on Object-Oriented Programming, 2017

2016

Disjoint intersection types.

Bruno C. d. S. Oliveira, Zhiyuan Shi, João Alpuim

Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016

Classless Java.

Yanlin Wang, Haoyuan Zhang, Bruno C. d. S. Oliveira, Marco Servetto

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

Unified Syntax with Iso-types.

Yanpeng Yang, Xuan Bi, Bruno C. d. S. Oliveira

Proceedings of the Programming Languages and Systems - 14th Asian Symposium, 2016

The expression problem, trivially!

Yanlin Wang, Bruno C. d. S. Oliveira

Proceedings of the 15th International Conference on Modularity, 2016

Modular architecture for code and metadata sharing.

Tomás Tauber, Bruno C. d. S. Oliveira

Proceedings of the 15th International Conference on Modularity, 2016

2015

Scrap your boilerplate with object algebras.

Haoyuan Zhang, Zewei Chu, Bruno C. d. S. Oliveira, Tijs van der Storm

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.

Bruno C. d. S. Oliveira, Shin-Cheng Mu, Shu-Hung You

Proceedings of the 8th ACM SIGPLAN Symposium on Haskell, 2015

Memory-Efficient Tail Calls in the JVM with Imperative Functional Objects.

Tomás Tauber, Xuan Bi, Zhiyuan Shi, Weixin Zhang, Huang Li, Zhenrui Zhang, Bruno C. d. S. Oliveira

Proceedings of the Programming Languages and Systems - 13th Asian Symposium, 2015

2014

Functional programming, object-oriented programming and algebras!

Bruno C. d. S. Oliveira

Proceedings of the 10th ACM SIGPLAN workshop on Generic programming, 2014

2013

Regression Testing of Evolving Programs.

Marcel Böhme, Abhik Roychoudhury, Bruno C. d. S. Oliveira

Adv. Comput., 2013

Regression tests to expose change interaction errors.

Marcel Böhme, Bruno C. d. S. Oliveira, Abhik Roychoudhury

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.

Benjamin Delaware, Bruno C. d. S. Oliveira, Tom Schrijvers

Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

Abstract syntax graphs for domain specific languages.

Bruno C. d. S. Oliveira, Andres Löh

Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, 2013

Partition-based regression verification.

Marcel Böhme, Bruno C. d. S. Oliveira, Abhik Roychoudhury

Proceedings of the 35th International Conference on Software Engineering, 2013

Modular monadic meta-theory.

Benjamin Delaware, Steven Keuchel, Tom Schrijvers, Bruno C. d. S. Oliveira

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2013

Feature-Oriented Programming with Object Algebras.

Bruno C. d. S. Oliveira, Tijs van der Storm, Alex Loh, William R. Cook

Proceedings of the ECOOP 2013 - Object-Oriented Programming, 2013

2012

MRI: Modular reasoning about interference in incremental programming.

Bruno C. d. S. Oliveira, Tom Schrijvers, William R. Cook

J. Funct. Program., 2012

Extended Report: The Implicit Calculus

Bruno C. d. S. Oliveira, Tom Schrijvers, Wontae Choi, Wonchan Lee, Kwangkeun Yi

CoRR, 2012

The implicit calculus: a new foundation for generic programming.

Bruno C. d. S. Oliveira, Tom Schrijvers, Wontae Choi, Wonchan Lee, Kwangkeun Yi

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

Functional programming with structured graphs.

Bruno C. d. S. Oliveira, William R. Cook

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2012

GMeta: A Generic Formal Metatheory Framework for First-Order Representations.

Gyesik Lee, Bruno C. d. S. Oliveira, Sungkeun Cho, Kwangkeun Yi

Proceedings of the Programming Languages and Systems, 2012

Extensibility for the Masses - Practical Extensibility with Object Algebras.

Bruno C. d. S. Oliveira, William R. Cook

Proceedings of the ECOOP 2012 - Object-Oriented Programming, 2012

2011

Monads, zippers and views: virtualizing the monad stack.

Tom Schrijvers, Bruno C. d. S. Oliveira

Proceedings of the Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, 2011

2010

Scala for generic programmers.

Bruno C. d. S. Oliveira, Jeremy Gibbons

J. Funct. Program., 2010

Type classes as objects and implicits.

Bruno C. d. S. Oliveira, Adriaan Moors, Martin Odersky

Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

EffectiveAdvice: disciplined advice with explicit effects.

Bruno C. d. S. Oliveira, Tom Schrijvers, William R. Cook

Proceedings of the 9th International Conference on Aspect-Oriented Software Development, 2010

2009

The essence of the Iterator pattern.

Jeremy Gibbons, Bruno C. d. S. Oliveira

J. Funct. Program., 2009

What does aspect-oriented programming mean for functional programmers?

Meng Wang, Bruno C. d. S. Oliveira

Proceedings of the 2009 ACM SIGPLAN workshop on Generic programming, 2009

Modular Visitor Components.

Bruno C. d. S. Oliveira

Proceedings of the ECOOP 2009, 2009

2008

The visitor pattern as a reusable, generic, type-safe component.

Bruno C. d. S. Oliveira, Meng Wang, Jeremy Gibbons

Proceedings of the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008

Comparing libraries for generic programming in haskell.

Alexey Rodriguez, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov, Bruno C. d. S. Oliveira

Proceedings of the 1st ACM SIGPLAN Symposium on Haskell, 2008

2007

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

Bruno César dos Santos Oliveira

PhD thesis, 2007

Scalable problem localization for distributed systems: principles and practices.

Rui Zhang, Bruno C. d. S. Oliveira, Alan Bivens, Steve McKeever

Proceedings of the 2nf International Conference on Scalable Information Systems, 2007

2006

Extensible and modular generics for the masses.

Bruno C. d. S. Oliveira, Ralf Hinze, Andres Löh

Proceedings of the Revised Selected Papers from the Seventh Symposium on Trends in Functional Programming, 2006

"Scrap Your Boilerplate" Reloaded.

Ralf Hinze, Andres Löh, Bruno C. d. S. Oliveira

Proceedings of the Functional and Logic Programming, 8th International Symposium, 2006

2005

TypeCase: a design pattern for type-indexed functions.

Bruno C. d. S. Oliveira, Jeremy Gibbons

Proceedings of the ACM SIGPLAN Workshop on Haskell, 2005