Bruno C. d. S. Oliveira
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
52
Venues
16
Active years
2005–2025
Best venue rank
A*
Where they publish
Papers
52 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ESOP | Named Arguments as Intersections, Optional Arguments as Unions. | Yaozhu Sun, Bruno C. d. S. Oliveira |
| 2025 | ESOP | Elucidating Type Conversions in SQL Engines. | Wenjia Ye, Matas Toro, Claudio Gutierrez, Bruno C. d. S. Oliveira, ric Tanter |
| 2024 | FTfJP | Disjoint Polymorphism with Intersection and Union Types. | Baber Rehman, Bruno C. d. S. Oliveira |
| 2023 | ECOOP | Dependent Merges and First-Class Environments. | Jinhao Tan, Bruno C. d. S. Oliveira |
| 2023 | ESOP | Pragmatic Gradual Polymorphism with References. | Wenjia Ye, Bruno C. d. S. Oliveira |
| 2022 | APLAS | Applicative Intersection Types. | Xu Xue, Bruno C. d. S. Oliveira, Ningning Xie |
| 2022 | APLAS | A Calculus with Recursive Types, Record Concatenation and Subtyping. | Yaoda Zhou, Bruno C. d. S. Oliveira, Andong Fan |
| 2022 | ECOOP | Direct Foundations for Compositional Programming. | Andong Fan, Xuejing Huang, Han Xu, Yaozhu Sun, Bruno C. d. S. Oliveira |
| 2022 | ECOOP | Union Types with Disjoint Switches. | Baber Rehman, Xuejing Huang, Ningning Xie, Bruno C. d. S. Oliveira |
| 2022 | ECOOP | Elementary Type Inference. | Jinxu Zhao, Bruno C. d. S. Oliveira |
| 2021 | ECOOP | Type-Directed Operational Semantics for Gradual Typing. | Wenjia Ye, Bruno C. d. S. Oliveira, Xuejing Huang |
| 2020 | ECOOP | A Type-Directed Operational Semantics For a Calculus with a Merge Operator. | Xuejing Huang, Bruno C. d. S. Oliveira |
| 2020 | ECOOP | The Duality of Subtyping. | Bruno C. d. S. Oliveira, Shaobo Cui, Baber Rehman |
| 2020 | ECOOP | Row and Bounded Polymorphism via Disjoint Polymorphism. | Ningning Xie, Bruno C. d. S. Oliveira, Xuan Bi, Tom Schrijvers |
| 2019 | ESOP | Distributive Disjoint Polymorphism for Compositional Programming. | Xuan Bi, Ningning Xie, Bruno C. d. S. Oliveira, Tom Schrijvers |
| 2018 | ECOOP | Typed First-Class Traits. | Xuan Bi, Bruno C. d. S. Oliveira |
| 2018 | ECOOP | The Essence of Nested Composition. | Xuan Bi, Bruno C. d. S. Oliveira, Tom Schrijvers |
| 2018 | ECOOP | FHJ: A Formal Model for Hierarchical Dispatching and Overriding. | Yanlin Wang, Haoyuan Zhang, Bruno C. d. S. Oliveira, Marco Servetto |
| 2018 | ESOP | Consistent Subtyping for All. | Ningning Xie, Xuan Bi, Bruno C. d. S. Oliveira |
| 2018 | ESOP | Let Arguments Go First. | Ningning Xie, Bruno C. d. S. Oliveira |
| 2018 | GPCE | Pattern matching in an open world. | Weixin Zhang, Bruno C. d. S. Oliveira |
| 2018 | ITP | Formalization of a Polymorphic Subtyping Algorithm. | Jinxu Zhao, Bruno C. d. S. Oliveira, Tom Schrijvers |
| 2017 | ECOOP | EVF: An Extensible and Expressive Visitor Framework for Programming Language Reuse. | Weixin Zhang, Bruno C. d. S. Oliveira |
| 2017 | ESOP | Disjoint Polymorphism. | Joo Alpuim, Bruno C. d. S. Oliveira, Zhiyuan Shi |
| 2017 | HASKELL | Quantified class constraints. | Gert-Jan Bottu, Georgios Karachalias, Tom Schrijvers, Bruno C. d. S. Oliveira, Philip Wadler |
| 2017 | SLE | Type-safe modular parsing. | Haoyuan Zhang, Huang Li, Bruno C. d. S. Oliveira |
| 2016 | APLAS | Unified Syntax with Iso-types. | Yanpeng Yang, Xuan Bi, Bruno C. d. S. Oliveira |
| 2016 | GPCE | Classless Java. | Yanlin Wang, Haoyuan Zhang, Bruno C. d. S. Oliveira, Marco Servetto |
| 2016 | ICFP | Disjoint intersection types. | Bruno C. d. S. Oliveira, Zhiyuan Shi, Joo Alpuim |
| 2015 | APLAS | Memory-Efficient Tail Calls in the JVM with Imperative Functional Objects. | Toms Tauber, Xuan Bi, Zhiyuan Shi, Weixin Zhang, Huang Li, Zhenrui Zhang, Bruno C. d. S. Oliveira |
| 2015 | HASKELL | Modular reifiable matching: a list-of-functors approach to two-level types. | Bruno C. d. S. Oliveira, Shin-Cheng Mu, Shu-Hung You |
| 2015 | OOPSLA | Scrap your boilerplate with object algebras. | Haoyuan Zhang, Zewei Chu, Bruno C. d. S. Oliveira, Tijs van der Storm |
| 2014 | ICFP | Functional programming, object-oriented programming and algebras! | Bruno C. d. S. Oliveira |
| 2013 | ECOOP | Feature-Oriented Programming with Object Algebras. | Bruno C. d. S. Oliveira, Tijs van der Storm, Alex Loh, William R. Cook |
| 2013 | ICFP | Modular monadic meta-theory. | Benjamin Delaware, Steven Keuchel, Tom Schrijvers, Bruno C. d. S. Oliveira |
| 2013 | ICSE | Partition-based regression verification. | Marcel Bhme, Bruno C. d. S. Oliveira, Abhik Roychoudhury |
| 2013 | PEPM | Abstract syntax graphs for domain specific languages. | Bruno C. d. S. Oliveira, Andres Lh |
| 2013 | POPL | Meta-theory la carte. | Benjamin Delaware, Bruno C. d. S. Oliveira, Tom Schrijvers |
| 2012 | ECOOP | Extensibility for the Masses - Practical Extensibility with Object Algebras. | Bruno C. d. S. Oliveira, William R. Cook |
| 2012 | ESOP | GMeta: A Generic Formal Metatheory Framework for First-Order Representations. | Gyesik Lee, Bruno C. d. S. Oliveira, Sungkeun Cho, Kwangkeun Yi |
| 2012 | ICFP | Functional programming with structured graphs. | Bruno C. d. S. Oliveira, William R. Cook |
| 2012 | PLDI | The implicit calculus: a new foundation for generic programming. | Bruno C. d. S. Oliveira, Tom Schrijvers, Wontae Choi, Wonchan Lee, Kwangkeun Yi |
| 2011 | ICFP | Monads, zippers and views: virtualizing the monad stack. | Tom Schrijvers, Bruno C. d. S. Oliveira |
| 2010 | OOPSLA | Type classes as objects and implicits. | Bruno C. d. S. Oliveira, Adriaan Moors, Martin Odersky |
| 2009 | ECOOP | Modular Visitor Components. | Bruno C. d. S. Oliveira |
| 2009 | ICFP | What does aspect-oriented programming mean for functional programmers? | Meng Wang, Bruno C. d. S. Oliveira |
| 2008 | HASKELL | Comparing libraries for generic programming in haskell. | Alexey Rodriguez, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov, Bruno C. d. S. Oliveira |
| 2008 | ICFP | Scala for generic programmers. | Bruno C. d. S. Oliveira, Jeremy Gibbons |
| 2008 | OOPSLA | The visitor pattern as a reusable, generic, type-safe component. | Bruno C. d. S. Oliveira, Meng Wang, Jeremy Gibbons |
| 2006 | FLOPS | "Scrap Your Boilerplate" Reloaded. | Ralf Hinze, Andres Lh, Bruno C. d. S. Oliveira |
| 2006 | MPC | The Essence of the ITERATOR Pattern. | Jeremy Gibbons, Bruno C. d. S. Oliveira |
| 2005 | HASKELL | TypeCase: a design pattern for type-indexed functions. | Bruno C. d. S. Oliveira, Jeremy Gibbons |