Bruno C. d. S. Oliveira

119 papers A* 3A 28B 10C 5Misc 1Journal 57Unranked 13
YearRankTypeTitle / Venue / Authors
2026 J jnl
Local Contextual Type Inference.
Proc. ACM Program. Lang.
Xu Xue, Chen Cui, Shengyi Jiang, Bruno C. d. S. Oliveira
2025 J jnl
Bidirectional Higher-Rank Polymorphism with Intersection and Union Types.
Proc. ACM Program. Lang.
Shengyi Jiang, Chen Cui, Bruno C. d. S. Oliveira
2025 — conf
Elucidating Type Conversions in SQL Engines.
ESOP (1)
Wenjia Ye, Matías Toro, Claudio Gutierrez, Bruno C. d. S. Oliveira, Éric Tanter
2025 J jnl
Flexible and Expressive Typed Path Patterns for GQL.
Proc. ACM Program. Lang.
Wenjia Ye, Matías Toro, Tomás Díaz, Bruno C. d. S. Oliveira, Manuel Rigger, Claudio Gutierrez, Domagoj Vrgoc
2025 J jnl
Liberating Merges via Apartness and Guarded Subtyping.
Proc. ACM Program. Lang.
Han Xu, Xuejing Huang, Bruno C. d. S. Oliveira
2025 — conf
Named Arguments as Intersections, Optional Arguments as Unions.
ESOP (2)
Yaozhu Sun, Bruno C. d. S. Oliveira
2025 J jnl
Normalization by Evaluation for Non-cumulativity.
Proc. ACM Program. Lang.
Shengyi Jiang, Jason Z. S. Hu, Bruno C. d. S. Oliveira
2025 J jnl
QuickSub: Efficient Iso-Recursive Subtyping.
Proc. ACM Program. Lang.
Litao Zhou, Bruno C. d. S. Oliveira
2025 J jnl
Recursive subtyping for all.
J. Funct. Program.
Litao Zhou, Yaoda Zhou, Qianyong Wan, Bruno C. d. S. Oliveira
2025 J jnl
Type-Safe Compilation of Dynamic Inheritance via Merging.
ACM Trans. Program. Lang. Syst.
Yaozhu Sun, Xuejing Huang, Bruno C. d. S. Oliveira
2024 J jnl
A Case for First-Class Environments.
Proc. ACM Program. Lang.
Jinhao Tan, Bruno C. d. S. Oliveira
2024 J jnl
Contextual Typing.
Proc. ACM Program. Lang.
Xu Xue, Bruno C. d. S. Oliveira
2024 — conf
Disjoint Polymorphism with Intersection and Union Types.
FTfJP@ECOOP
Baber Rehman, Bruno C. d. S. Oliveira
2024 J jnl
Full Iso-Recursive Types.
Proc. ACM Program. Lang.
Litao Zhou, Qianyong Wan, Bruno C. d. S. Oliveira
2024 J jnl
Full Iso-recursive Types.
CoRR
Litao Zhou, Qianyong Wan, Bruno C. d. S. Oliveira
2024 J jnl
Imperative Compositional Programming: Type Sound Distributive Intersection Subtyping with References via Bidirectional Typing.
Proc. ACM Program. Lang.
Wenjia Ye, Yaozhu Sun, Bruno C. d. S. Oliveira
2024 J jnl
Merging Gradual Typing.
Proc. ACM Program. Lang.
Wenjia Ye, Bruno C. d. S. Oliveira, Matías Toro
2024 J jnl
Type-directed operational semantics for gradual typing.
J. Funct. Program.
Wenjia Ye, Bruno C. d. S. Oliveira
2023 J jnl
A Bowtie for a Beast: Overloading, Eta Expansion, and Extensible Data Types in F⋈.
Proc. ACM Program. Lang.
Nick Rioux, Xuejing Huang, Bruno C. d. S. Oliveira, Steve Zdancewic
2023 J jnl
Dependent Merges and First-Class Environments (Artifact).
Dagstuhl Artifacts Ser.
Jinhao Tan, Bruno C. d. S. Oliveira
2023 A conf
Dependent Merges and First-Class Environments.
ECOOP
Jinhao Tan, Bruno C. d. S. Oliveira
2023 J jnl
Greedy Implicit Bounded Quantification.
Proc. ACM Program. Lang.
Chen Cui, Shengyi Jiang, Bruno C. d. S. Oliveira
2023 J jnl
Making a Type Difference: Subtraction on Intersection Types as Generalized Record Operations.
Proc. ACM Program. Lang.
Han Xu, Xuejing Huang, Bruno C. d. S. Oliveira
2023 A conf
Pragmatic Gradual Polymorphism with References.
ESOP
Wenjia Ye, Bruno C. d. S. Oliveira
2023 J jnl
Recursive Subtyping for All.
Proc. ACM Program. Lang.
Litao Zhou, Yaoda Zhou, Bruno C. d. S. Oliveira
2022 B conf
A Calculus with Recursive Types, Record Concatenation and Subtyping.
APLAS
Yaoda Zhou, Bruno C. d. S. Oliveira, Andong Fan
2022 B conf
Applicative Intersection Types.
APLAS
Xu Xue, Bruno C. d. S. Oliveira, Ningning Xie
2022 J jnl
Compositional embeddings of domain-specific languages.
Proc. ACM Program. Lang.
Yaozhu Sun, Utkarsh Dhandhania, Bruno C. d. S. Oliveira
2022 J jnl
Direct Foundations for Compositional Programming (Artifact).
Dagstuhl Artifacts Ser.
Andong Fan, Xuejing Huang, Han Xu, Yaozhu Sun, Bruno C. d. S. Oliveira
2022 A conf
Direct Foundations for Compositional Programming.
ECOOP
Andong Fan, Xuejing Huang, Han Xu, Yaozhu Sun, Bruno C. d. S. Oliveira
2022 J jnl
Direct Foundations for Compositional Programming.
CoRR
Andong Fan, Xuejing Huang, Han Xu, Yaozhu Sun, Bruno C. d. S. Oliveira
2022 J jnl
Elementary Type Inference (Artifact).
Dagstuhl Artifacts Ser.
Jinxu Zhao, Bruno C. d. S. Oliveira
2022 A conf
Elementary Type Inference.
ECOOP
Jinxu Zhao, Bruno C. d. S. Oliveira
2022 J jnl
Revisiting Iso-Recursive Subtyping.
ACM Trans. Program. Lang. Syst.
Yaoda Zhou, Jinxu Zhao, Bruno C. d. S. Oliveira
2022 J jnl
Union Types with Disjoint Switches (Artifact).
Dagstuhl Artifacts Ser.
Baber Rehman, Xuejing Huang, Ningning Xie, Bruno C. d. S. Oliveira
2022 A conf
Union Types with Disjoint Switches.
ECOOP
Baber Rehman, Xuejing Huang, Ningning Xie, Bruno C. d. S. Oliveira
2021 J jnl
A dependently typed calculus with polymorphic subtyping.
Sci. Comput. Program.
Mingqi Xue, Bruno C. d. S. Oliveira
2021 J jnl
Compositional Programming (Artifact).
Dagstuhl Artifacts Ser.
Weixin Zhang, Yaozhu Sun, Bruno C. d. S. Oliveira
2021 J jnl
Compositional Programming.
ACM Trans. Program. Lang. Syst.
Weixin Zhang, Yaozhu Sun, Bruno C. d. S. Oliveira
2021 J jnl
Distributing intersection and union types with splits and duality (functional pearl).
Proc. ACM Program. Lang.
Xuejing Huang, Bruno C. d. S. Oliveira
2021 J jnl
Taming the Merge Operator.
J. Funct. Program.
Xuejing Huang, Jinxu Zhao, Bruno C. d. S. Oliveira
2021 J jnl
Type-Directed Operational Semantics for Gradual Typing (Artifact).
Dagstuhl Artifacts Ser.
Wenjia Ye, Bruno C. d. S. Oliveira, Xuejing Huang
2021 A conf
Type-Directed Operational Semantics for Gradual Typing.
ECOOP
Wenjia Ye, Bruno C. d. S. Oliveira, Xuejing Huang
2020 J jnl
A Type-Directed Operational Semantics For a Calculus with a Merge Operator (Artifact).
Dagstuhl Artifacts Ser.
Xuejing Huang, Bruno C. d. S. Oliveira
2020 A conf
A Type-Directed Operational Semantics For a Calculus with a Merge Operator.
ECOOP
Xuejing Huang, Bruno C. d. S. Oliveira
2020 J jnl
Castor: Programming with extensible generative visitors.
Sci. Comput. Program.
Weixin Zhang, Bruno C. d. S. Oliveira
2020 J jnl
Consistent Subtyping for All.
ACM Trans. Program. Lang. Syst.
Ningning Xie, Xuan Bi, Bruno C. d. S. Oliveira, Tom Schrijvers
2020 J jnl
Kind inference for datatypes.
Proc. ACM Program. Lang.
Ningning Xie, Richard A. Eisenberg, Bruno C. d. S. Oliveira
2020 B ed.
Programming Languages and Systems - 18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 - December 2, 2020, Proceedings
APLAS
Bruno C. d. S. Oliveira
2020 J jnl
Resolution as Intersection Subtyping via Modus Ponens.
CoRR
Koar Marntirosian, Tom Schrijvers, Bruno C. d. S. Oliveira, Georgios Karachalias
2020 J jnl
Resolution as intersection subtyping via Modus Ponens.
Proc. ACM Program. Lang.
Koar Marntirosian, Tom Schrijvers, Bruno C. d. S. Oliveira, Georgios Karachalias
2020 J jnl
Revisiting iso-recursive subtyping.
Proc. ACM Program. Lang.
Yaoda Zhou, Bruno C. d. S. Oliveira, Jinxu Zhao
2020 A conf
Row and Bounded Polymorphism via Disjoint Polymorphism.
ECOOP
Ningning Xie, Bruno C. d. S. Oliveira, Xuan Bi, Tom Schrijvers
2020 J jnl
The Duality of Subtyping (Artifact).
Dagstuhl Artifacts Ser.
Bruno C. d. S. Oliveira, Shaobo Cui, Baber Rehman
2020 A conf
The Duality of Subtyping.
ECOOP
Bruno C. d. S. Oliveira, Shaobo Cui, Baber Rehman
2019 J jnl
A mechanical formalization of higher-ranked polymorphic type inference.
Proc. ACM Program. Lang.
Jinxu Zhao, Bruno C. d. S. Oliveira, Tom Schrijvers
2019 J jnl
COCHIS: Stable and coherent implicits.
J. Funct. Program.
Tom Schrijvers, Bruno C. d. S. Oliveira, Philip Wadler, Koar Marntirosian
2019 A conf
Distributive Disjoint Polymorphism for Compositional Programming.
ESOP
Xuan Bi, Ningning Xie, Bruno C. d. S. Oliveira, Tom Schrijvers
2019 J jnl
Kind Inference for Datatypes: Technical Supplement.
CoRR
Ningning Xie, Richard A. Eisenberg, Bruno C. d. S. Oliveira
2019 B ed.
Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2019, Athens, Greece, October 20-22, 2019
SLE
Oscar Nierstrasz, Jeff Gray, Bruno C. d. S. Oliveira
2019 J jnl
Pure iso-type systems.
J. Funct. Program.
Yanpeng Yang, Bruno C. d. S. Oliveira
2019 J jnl
Separating Use and Reuse to Improve Both.
CoRR
Hrshikesh Arora, Marco Servetto, Bruno C. d. S. Oliveira
2019 J jnl
Separating Use and Reuse to Improve Both.
Art Sci. Eng. Program.
Hrshikesh Arora, Marco Servetto, Bruno C. d. S. Oliveira
2019 J jnl
Shallow EDSLs and Object-Oriented Programming: Beyond Simple Compositionality.
CoRR
Weixin Zhang, Bruno C. d. S. Oliveira
2019 J jnl
Shallow EDSLs and Object-Oriented Programming: Beyond Simple Compositionality.
Art Sci. Eng. Program.
Weixin Zhang, Bruno C. d. S. Oliveira
2018 A conf
Consistent Subtyping for All.
ESOP
Ningning Xie, Xuan Bi, Bruno C. d. S. Oliveira
2018 A conf
FHJ: A Formal Model for Hierarchical Dispatching and Overriding.
ECOOP
Yanlin Wang, Haoyuan Zhang, Bruno C. d. S. Oliveira, Marco Servetto
2018 B conf
Formalization of a Polymorphic Subtyping Algorithm.
ITP
Jinxu Zhao, Bruno C. d. S. Oliveira, Tom Schrijvers
2018 A conf
Let Arguments Go First.
ESOP
Ningning Xie, Bruno C. d. S. Oliveira
2018 B conf
Pattern matching in an open world.
GPCE
Weixin Zhang, Bruno C. d. S. Oliveira
2018 — ed.
Proceedings of the 9th ACM SIGPLAN International Symposium on Scala, SCALA@ICFP 2018, St. Louis, MO, USA, September 28, 2018
SCALA@ICFP
Sebastian Erdweg, Bruno C. d. S. Oliveira
2018 J jnl
The Essence of Nested Composition (Artifact).
Dagstuhl Artifacts Ser.
Xuan Bi, Bruno C. d. S. Oliveira, Tom Schrijvers
2018 A conf
The Essence of Nested Composition.
ECOOP
Xuan Bi, Bruno C. d. S. Oliveira, Tom Schrijvers
2018 J jnl
Typed First-Class Traits (Artifact).
Dagstuhl Artifacts Ser.
Xuan Bi, Bruno C. d. S. Oliveira
2018 A conf
Typed First-Class Traits.
ECOOP
Xuan Bi, Bruno C. d. S. Oliveira
2017 A conf
Disjoint Polymorphism.
ESOP
João Alpuim, Bruno C. d. S. Oliveira, Zhiyuan Shi
2017 J jnl
EVF: An Extensible and Expressive Visitor Framework for Programming Language Reuse (Artifact).
Dagstuhl Artifacts Ser.
Weixin Zhang, Bruno C. d. S. Oliveira
2017 A conf
EVF: An Extensible and Expressive Visitor Framework for Programming Language Reuse.
ECOOP
Weixin Zhang, Bruno C. d. S. Oliveira
2017 C conf
Quantified class constraints.
Haskell
Gert-Jan Bottu, Georgios Karachalias, Tom Schrijvers, Bruno C. d. S. Oliveira, Philip Wadler
2017 B conf
Type-safe modular parsing.
SLE
Haoyuan Zhang, Huang Li, Bruno C. d. S. Oliveira
2017 J jnl
Unifying typing and subtyping.
Proc. ACM Program. Lang.
Yanpeng Yang, Bruno C. d. S. Oliveira
2016 B conf
Classless Java.
GPCE
Yanlin Wang, Haoyuan Zhang, Bruno C. d. S. Oliveira, Marco Servetto
2016 A conf
Disjoint intersection types.
ICFP
Bruno C. d. S. Oliveira, Zhiyuan Shi, João Alpuim
2016 — conf
Modular architecture for code and metadata sharing.
MODULARITY
Tomás Tauber, Bruno C. d. S. Oliveira
2016 — conf
The expression problem, trivially!
MODULARITY
Yanlin Wang, Bruno C. d. S. Oliveira
2016 B conf
Unified Syntax with Iso-types.
APLAS
Yanpeng Yang, Xuan Bi, Bruno C. d. S. Oliveira
2015 B conf
Memory-Efficient Tail Calls in the JVM with Imperative Functional Objects.
APLAS
Tomás Tauber, Xuan Bi, Zhiyuan Shi, Weixin Zhang, Huang Li, Zhenrui Zhang, Bruno C. d. S. Oliveira
2015 C conf
Modular reifiable matching: a list-of-functors approach to two-level types.
Haskell
Bruno C. d. S. Oliveira, Shin-Cheng Mu, Shu-Hung You
2015 A conf
Scrap your boilerplate with object algebras.
OOPSLA
Haoyuan Zhang, Zewei Chu, Bruno C. d. S. Oliveira, Tijs van der Storm
2014 — conf
Functional programming, object-oriented programming and algebras!
WGP@ICFP
Bruno C. d. S. Oliveira
2013 C conf
Abstract syntax graphs for domain specific languages.
PEPM
Bruno C. d. S. Oliveira, Andres Löh
2013 A conf
Feature-Oriented Programming with Object Algebras.
ECOOP
Bruno C. d. S. Oliveira, Tijs van der Storm, Alex Loh, William R. Cook
2013 A* conf
Meta-theory à la carte.
POPL
Benjamin Delaware, Bruno C. d. S. Oliveira, Tom Schrijvers
2013 A conf
Modular monadic meta-theory.
ICFP
Benjamin Delaware, Steven Keuchel, Tom Schrijvers, Bruno C. d. S. Oliveira
2013 A* conf
Partition-based regression verification.
ICSE
Marcel Böhme, Bruno C. d. S. Oliveira, Abhik Roychoudhury
2013 J jnl
Regression Testing of Evolving Programs.
Adv. Comput.
Marcel Böhme, Abhik Roychoudhury, Bruno C. d. S. Oliveira
2013 — conf
Regression tests to expose change interaction errors.
ESEC/SIGSOFT FSE
Marcel Böhme, Bruno C. d. S. Oliveira, Abhik Roychoudhury
2012 J jnl
Extended Report: The Implicit Calculus
CoRR
Bruno C. d. S. Oliveira, Tom Schrijvers, Wontae Choi, Wonchan Lee, Kwangkeun Yi
2012 A conf
Extensibility for the Masses - Practical Extensibility with Object Algebras.
ECOOP
Bruno C. d. S. Oliveira, William R. Cook
2012 A conf
Functional programming with structured graphs.
ICFP
Bruno C. d. S. Oliveira, William R. Cook
2012 A conf
GMeta: A Generic Formal Metatheory Framework for First-Order Representations.
ESOP
Gyesik Lee, Bruno C. d. S. Oliveira, Sungkeun Cho, Kwangkeun Yi
2012 J jnl
MRI: Modular reasoning about interference in incremental programming.
J. Funct. Program.
Bruno C. d. S. Oliveira, Tom Schrijvers, William R. Cook
2012 A* conf
The implicit calculus: a new foundation for generic programming.
PLDI
Bruno C. d. S. Oliveira, Tom Schrijvers, Wontae Choi, Wonchan Lee, Kwangkeun Yi
2011 A conf
Monads, zippers and views: virtualizing the monad stack.
ICFP
Tom Schrijvers, Bruno C. d. S. Oliveira
2010 — conf
EffectiveAdvice: disciplined advice with explicit effects.
AOSD
Bruno C. d. S. Oliveira, Tom Schrijvers, William R. Cook
2010 — ed.
Proceedings of the ACM SIGPLAN Workshop on Generic Programming, WGP 2010, Baltimore, MD, USA, September 27-29, 2010
ICFP-WGP
Bruno C. d. S. Oliveira, Marcin Zalewski
2010 J jnl
Scala for generic programmers.
J. Funct. Program.
Bruno C. d. S. Oliveira, Jeremy Gibbons
2010 A conf
Type classes as objects and implicits.
OOPSLA
Bruno C. d. S. Oliveira, Adriaan Moors, Martin Odersky
2009 A conf
Modular Visitor Components.
ECOOP
Bruno C. d. S. Oliveira
2009 J jnl
The essence of the Iterator pattern.
J. Funct. Program.
Jeremy Gibbons, Bruno C. d. S. Oliveira
2009 — conf
What does aspect-oriented programming mean for functional programmers?
WGP@ICFP
Meng Wang, Bruno C. d. S. Oliveira
2008 C conf
Comparing libraries for generic programming in haskell.
Haskell
Alexey Rodriguez, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov, Bruno C. d. S. Oliveira
2008 — conf
Scala for generic programmers.
ICFP-WGP
Bruno C. d. S. Oliveira, Jeremy Gibbons
2008 A conf
The visitor pattern as a reusable, generic, type-safe component.
OOPSLA
Bruno C. d. S. Oliveira, Meng Wang, Jeremy Gibbons
2007 — conf
Scalable problem localization for distributed systems: principles and practices.
Infoscale
Rui Zhang, Bruno C. d. S. Oliveira, Alan Bivens, Steve McKeever
2006 Misc conf
"Scrap Your Boilerplate" Reloaded.
FLOPS
Ralf Hinze, Andres Löh, Bruno C. d. S. Oliveira
2006 — conf
Extensible and modular generics for the masses.
Trends in Functional Programming
Bruno C. d. S. Oliveira, Ralf Hinze, Andres Löh
2006 — conf
The Essence of the ITERATOR Pattern.
MSFP@MPC
Jeremy Gibbons, Bruno C. d. S. Oliveira
2005 C conf
TypeCase: a design pattern for type-indexed functions.
Haskell
Bruno C. d. S. Oliveira, Jeremy Gibbons