Bruno C. d. S. Oliveira

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 66

Top Topics

Operational Semantics

Programming Language

Top Venues

Proc. ACM Program. Lang.

Dagstuhl Artifacts Ser.

Publications

Litao Zhou, Qianyong Wan, Bruno C. d. S. Oliveira
Full Iso-recursive Types. CoRR (2024)
Nick Rioux, Xuejing Huang, Bruno C. d. S. Oliveira, Steve Zdancewic
A Bowtie for a Beast: Overloading, Eta Expansion, and Extensible Data Types in F⋈. Proc. ACM Program. Lang. 7 (POPL) (2023)
Jinhao Tan, Bruno C. d. S. Oliveira
Dependent Merges and First-Class Environments (Artifact). Dagstuhl Artifacts Ser. 9 (2) (2023)
Wenjia Ye, Bruno C. d. S. Oliveira
Pragmatic Gradual Polymorphism with References. ESOP (2023)
Jinhao Tan, Bruno C. d. S. Oliveira
Dependent Merges and First-Class Environments. ECOOP (2023)
Litao Zhou, Yaoda Zhou, Bruno C. d. S. Oliveira
Recursive Subtyping for All. Proc. ACM Program. Lang. 7 (POPL) (2023)
Han Xu, Xuejing Huang, Bruno C. d. S. Oliveira
Making a Type Difference: Subtraction on Intersection Types as Generalized Record Operations. Proc. ACM Program. Lang. 7 (POPL) (2023)
Chen Cui, Shengyi Jiang, Bruno C. d. S. Oliveira
Greedy Implicit Bounded Quantification. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Yaozhu Sun, Utkarsh Dhandhania, Bruno C. d. S. Oliveira
Compositional embeddings of domain-specific languages. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Jinxu Zhao, Bruno C. d. S. Oliveira
Elementary Type Inference. ECOOP (2022)
Yaoda Zhou, Bruno C. d. S. Oliveira, Andong Fan
A Calculus with Recursive Types, Record Concatenation and Subtyping. APLAS (2022)
Baber Rehman, Xuejing Huang, Ningning Xie, Bruno C. d. S. Oliveira
Union Types with Disjoint Switches (Artifact). Dagstuhl Artifacts Ser. 8 (2) (2022)
Yaoda Zhou, Jinxu Zhao, Bruno C. d. S. Oliveira
Revisiting Iso-Recursive Subtyping. ACM Trans. Program. Lang. Syst. 44 (4) (2022)
Jinxu Zhao, Bruno C. d. S. Oliveira
Elementary Type Inference (Artifact). Dagstuhl Artifacts Ser. 8 (2) (2022)
Baber Rehman, Xuejing Huang, Ningning Xie, Bruno C. d. S. Oliveira
Union Types with Disjoint Switches. ECOOP (2022)
Andong Fan, Xuejing Huang, Han Xu, Yaozhu Sun, Bruno C. d. S. Oliveira
Direct Foundations for Compositional Programming. ECOOP (2022)
Andong Fan, Xuejing Huang, Han Xu, Yaozhu Sun, Bruno C. d. S. Oliveira
Direct Foundations for Compositional Programming (Artifact). Dagstuhl Artifacts Ser. 8 (2) (2022)
Xu Xue, Bruno C. d. S. Oliveira, Ningning Xie
Applicative Intersection Types. APLAS (2022)
Andong Fan, Xuejing Huang, Han Xu, Yaozhu Sun, Bruno C. d. S. Oliveira
Direct Foundations for Compositional Programming. CoRR (2022)
Wenjia Ye, Bruno C. d. S. Oliveira, Xuejing Huang
Type-Directed Operational Semantics for Gradual Typing. ECOOP (2021)
Xuejing Huang, Bruno C. d. S. Oliveira
Distributing intersection and union types with splits and duality (functional pearl). Proc. ACM Program. Lang. 5 (ICFP) (2021)
Weixin Zhang, Yaozhu Sun, Bruno C. d. S. Oliveira
Compositional Programming (Artifact). Dagstuhl Artifacts Ser. 7 (2) (2021)
Xuejing Huang, Jinxu Zhao, Bruno C. d. S. Oliveira
Taming the Merge Operator. J. Funct. Program. 31 (2021)
Weixin Zhang, Yaozhu Sun, Bruno C. d. S. Oliveira
Compositional Programming. ACM Trans. Program. Lang. Syst. 43 (3) (2021)
Mingqi Xue, Bruno C. d. S. Oliveira
A dependently typed calculus with polymorphic subtyping. Sci. Comput. Program. 208 (2021)
Wenjia Ye, Bruno C. d. S. Oliveira, Xuejing Huang
Type-Directed Operational Semantics for Gradual Typing (Artifact). Dagstuhl Artifacts Ser. 7 (2) (2021)
Ningning Xie, Xuan Bi, Bruno C. d. S. Oliveira, Tom Schrijvers
Consistent Subtyping for All. ACM Trans. Program. Lang. Syst. 42 (1) (2020)
Bruno C. d. S. Oliveira, Shaobo Cui, Baber Rehman
The Duality of Subtyping (Artifact). Dagstuhl Artifacts Ser. 6 (2) (2020)
Xuejing Huang, Bruno C. d. S. Oliveira
A Type-Directed Operational Semantics For a Calculus with a Merge Operator. ECOOP (2020)
Bruno C. d. S. Oliveira, Shaobo Cui, Baber Rehman
The Duality of Subtyping. ECOOP (2020)
Koar Marntirosian, Tom Schrijvers, Bruno C. d. S. Oliveira, Georgios Karachalias
Resolution as intersection subtyping via Modus Ponens. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Ningning Xie, Bruno C. d. S. Oliveira, Xuan Bi, Tom Schrijvers
Row and Bounded Polymorphism via Disjoint Polymorphism. ECOOP (2020)
Xuejing Huang, Bruno C. d. S. Oliveira
A Type-Directed Operational Semantics For a Calculus with a Merge Operator (Artifact). Dagstuhl Artifacts Ser. 6 (2) (2020)
Ningning Xie, Richard A. Eisenberg, Bruno C. d. S. Oliveira
Kind inference for datatypes. Proc. ACM Program. Lang. 4 (POPL) (2020)
Yaoda Zhou, Bruno C. d. S. Oliveira, Jinxu Zhao
Revisiting iso-recursive subtyping. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Koar Marntirosian, Tom Schrijvers, Bruno C. d. S. Oliveira, Georgios Karachalias
Resolution as Intersection Subtyping via Modus Ponens. CoRR (2020)
Weixin Zhang, Bruno C. d. S. Oliveira
Castor: Programming with extensible generative visitors. Sci. Comput. Program. 193 (2020)
Hrshikesh Arora, Marco Servetto, Bruno C. d. S. Oliveira
Separating Use and Reuse to Improve Both. CoRR (2019)
Jinxu Zhao, Bruno C. d. S. Oliveira, Tom Schrijvers
A mechanical formalization of higher-ranked polymorphic type inference. Proc. ACM Program. Lang. 3 (ICFP) (2019)
Tom Schrijvers, Bruno C. d. S. Oliveira, Philip Wadler, Koar Marntirosian
COCHIS: Stable and coherent implicits. J. Funct. Program. 29 (2019)
Xuan Bi, Ningning Xie, Bruno C. d. S. Oliveira, Tom Schrijvers
Distributive Disjoint Polymorphism for Compositional Programming. ESOP (2019)
Weixin Zhang, Bruno C. d. S. Oliveira
Shallow EDSLs and Object-Oriented Programming: Beyond Simple Compositionality. CoRR (2019)
Weixin Zhang, Bruno C. d. S. Oliveira
Shallow EDSLs and Object-Oriented Programming: Beyond Simple Compositionality. Art Sci. Eng. Program. 3 (3) (2019)
Hrshikesh Arora, Marco Servetto, Bruno C. d. S. Oliveira
Separating Use and Reuse to Improve Both. Art Sci. Eng. Program. 3 (3) (2019)
Yanpeng Yang, Bruno C. d. S. Oliveira
Pure iso-type systems. J. Funct. Program. 29 (2019)
Ningning Xie, Richard A. Eisenberg, Bruno C. d. S. Oliveira
Kind Inference for Datatypes: Technical Supplement. CoRR (2019)
Ningning Xie, Bruno C. d. S. Oliveira
Let Arguments Go First. ESOP (2018)
Jinxu Zhao, Bruno C. d. S. Oliveira, Tom Schrijvers
Formalization of a Polymorphic Subtyping Algorithm. ITP (2018)
Xuan Bi, Bruno C. d. S. Oliveira, Tom Schrijvers
The Essence of Nested Composition. ECOOP (2018)
Xuan Bi, Bruno C. d. S. Oliveira
Typed First-Class Traits. ECOOP (2018)
Xuan Bi, Bruno C. d. S. Oliveira, Tom Schrijvers
The Essence of Nested Composition (Artifact). Dagstuhl Artifacts Ser. 4 (3) (2018)
Yanlin Wang, Haoyuan Zhang, Bruno C. d. S. Oliveira, Marco Servetto
FHJ: A Formal Model for Hierarchical Dispatching and Overriding. ECOOP (2018)
Xuan Bi, Bruno C. d. S. Oliveira
Typed First-Class Traits (Artifact). Dagstuhl Artifacts Ser. 4 (3) (2018)
Weixin Zhang, Bruno C. d. S. Oliveira
Pattern matching in an open world. GPCE (2018)
Ningning Xie, Xuan Bi, Bruno C. d. S. Oliveira
Consistent Subtyping for All. ESOP (2018)
Weixin Zhang, Bruno C. d. S. Oliveira
EVF: An Extensible and Expressive Visitor Framework for Programming Language Reuse. ECOOP (2017)
Haoyuan Zhang, Huang Li, Bruno C. d. S. Oliveira
Type-safe modular parsing. SLE (2017)
Gert-Jan Bottu, Georgios Karachalias, Tom Schrijvers, Bruno C. d. S. Oliveira, Philip Wadler
Quantified class constraints. Haskell (2017)
Weixin Zhang, Bruno C. d. S. Oliveira
EVF: An Extensible and Expressive Visitor Framework for Programming Language Reuse (Artifact). Dagstuhl Artifacts Ser. 3 (2) (2017)
Yanpeng Yang, Bruno C. d. S. Oliveira
Unifying typing and subtyping. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)
João Alpuim, Bruno C. d. S. Oliveira, Zhiyuan Shi
Disjoint Polymorphism. ESOP (2017)
Bruno C. d. S. Oliveira, Zhiyuan Shi, João Alpuim
Disjoint intersection types. ICFP (2016)
Yanpeng Yang, Xuan Bi, Bruno C. d. S. Oliveira
Unified Syntax with Iso-types. APLAS (2016)
Tomás Tauber, Bruno C. d. S. Oliveira
Modular architecture for code and metadata sharing. MODULARITY (2016)
Yanlin Wang, Haoyuan Zhang, Bruno C. d. S. Oliveira, Marco Servetto
Classless Java. GPCE (2016)
Yanlin Wang, Bruno C. d. S. Oliveira
The expression problem, trivially! MODULARITY (2016)
Tomás Tauber, Xuan Bi, Zhiyuan Shi, Weixin Zhang, Huang Li, Zhenrui Zhang, Bruno C. d. S. Oliveira
Memory-Efficient Tail Calls in the JVM with Imperative Functional Objects. APLAS (2015)
Haoyuan Zhang, Zewei Chu, Bruno C. d. S. Oliveira, Tijs van der Storm
Scrap your boilerplate with object algebras. OOPSLA (2015)
Bruno C. d. S. Oliveira, Shin-Cheng Mu, Shu-Hung You
Modular reifiable matching: a list-of-functors approach to two-level types. Haskell (2015)
Bruno C. d. S. Oliveira
Functional programming, object-oriented programming and algebras! WGP@ICFP (2014)
Bruno C. d. S. Oliveira, Andres Löh
Abstract syntax graphs for domain specific languages. PEPM (2013)
Bruno C. d. S. Oliveira, Tijs van der Storm, Alex Loh, William R. Cook
Feature-Oriented Programming with Object Algebras. ECOOP (2013)
Benjamin Delaware, Bruno C. d. S. Oliveira, Tom Schrijvers
Meta-theory à la carte. POPL (2013)
Marcel Böhme, Abhik Roychoudhury, Bruno C. d. S. Oliveira
Regression Testing of Evolving Programs. Adv. Comput. 89 (2013)
Benjamin Delaware, Steven Keuchel, Tom Schrijvers, Bruno C. d. S. Oliveira
Modular monadic meta-theory. ICFP (2013)
Marcel Böhme, Bruno C. d. S. Oliveira, Abhik Roychoudhury
Regression tests to expose change interaction errors. ESEC/SIGSOFT FSE (2013)
Marcel Böhme, Bruno C. d. S. Oliveira, Abhik Roychoudhury
Partition-based regression verification. ICSE (2013)
Bruno C. d. S. Oliveira, William R. Cook
Extensibility for the Masses - Practical Extensibility with Object Algebras. ECOOP (2012)
Bruno C. d. S. Oliveira, Tom Schrijvers, Wontae Choi, Wonchan Lee, Kwangkeun Yi
The implicit calculus: a new foundation for generic programming. PLDI (2012)
Bruno C. d. S. Oliveira, Tom Schrijvers, Wontae Choi, Wonchan Lee, Kwangkeun Yi
Extended Report: The Implicit Calculus CoRR (2012)
Bruno C. d. S. Oliveira, William R. Cook
Functional programming with structured graphs. ICFP (2012)
Bruno C. d. S. Oliveira, Tom Schrijvers, William R. Cook
MRI: Modular reasoning about interference in incremental programming. J. Funct. Program. 22 (6) (2012)
Gyesik Lee, Bruno C. d. S. Oliveira, Sungkeun Cho, Kwangkeun Yi
GMeta: A Generic Formal Metatheory Framework for First-Order Representations. ESOP (2012)
Tom Schrijvers, Bruno C. d. S. Oliveira
Monads, zippers and views: virtualizing the monad stack. ICFP (2011)
Bruno C. d. S. Oliveira, Jeremy Gibbons
Scala for generic programmers. J. Funct. Program. 20 (3-4) (2010)
Bruno C. d. S. Oliveira, Adriaan Moors, Martin Odersky
Type classes as objects and implicits. OOPSLA (2010)
Bruno C. d. S. Oliveira, Tom Schrijvers, William R. Cook
EffectiveAdvice: disciplined advice with explicit effects. AOSD (2010)
Bruno C. d. S. Oliveira
Modular Visitor Components. ECOOP (2009)
Meng Wang, Bruno C. d. S. Oliveira
What does aspect-oriented programming mean for functional programmers? WGP@ICFP (2009)
Jeremy Gibbons, Bruno C. d. S. Oliveira
The essence of the Iterator pattern. J. Funct. Program. 19 (3-4) (2009)
Bruno C. d. S. Oliveira, Jeremy Gibbons
Scala for generic programmers. ICFP-WGP (2008)
Bruno C. d. S. Oliveira, Meng Wang, Jeremy Gibbons
The visitor pattern as a reusable, generic, type-safe component. OOPSLA (2008)
Alexey Rodriguez, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov, Bruno C. d. S. Oliveira
Comparing libraries for generic programming in haskell. Haskell (2008)
Rui Zhang, Bruno C. d. S. Oliveira, Alan Bivens, Steve McKeever
Scalable problem localization for distributed systems: principles and practices. Infoscale (2007)
Ralf Hinze, Andres Löh, Bruno C. d. S. Oliveira
"Scrap Your Boilerplate" Reloaded. FLOPS (2006)
Jeremy Gibbons, Bruno C. d. S. Oliveira
The Essence of the ITERATOR Pattern. MSFP@MPC (2006)
Bruno C. d. S. Oliveira, Ralf Hinze, Andres Löh
Extensible and modular generics for the masses. Trends in Functional Programming (2006)
Bruno C. d. S. Oliveira, Jeremy Gibbons
TypeCase: a design pattern for type-indexed functions. Haskell (2005)