Bruno C. d. S. Oliveira - researchr profile publications

researchr

explore
calendar
search

You are not signed in
Sign in
Sign up

Publications with a 'Bruno C. d. S. Oliveira' as author, editor, or advisor:

Comparative analysis of deep learning methods for lesion detection on full screening mammographyRaul Ferrete Ribeiro, Helena R. Torres, Bruno Oliveira, Pedro Morais, João L. Vilaça. embc 2023: 1-4 [doi]
On the conceptualization of ETL patterns: a Reo approachBruno Oliveira, Orlando Belo. ideas 2014: 348-351 [doi]
From ETL Conceptual Design to ETL Physical Sketching using PatternsBruno Oliveira, Orlando Belo. ICEIS 2018: 262-269 [doi]
Modeling e-government processes using YAWL: half-way towards their effective real implementationOrlando Belo, José Luis Faria, Antonio Nestor Ribeiro, Bruno Oliveira, Vasco Santos. icegov 2014: 288-291 [doi]
ETL Standard Processes Modelling - A Novel BPMN ApproachBruno Oliveira, Orlando Belo. ICEIS 2013: 120-127 [doi]
Numerical modelling-based sensitivity analysis of fluvial morphodynamicsBruno Oliveira, Francesco Ballio, Rodrigo Maia. envsoft, 135:104903, 2021. [doi]
ETL Patterns on YAWL - Towards to the Specification of Platform-independent Data Warehousing Populating ProcessesBruno Oliveira, Orlando Belo. ICEIS 2014: 299-307 [doi]
Automated segmentation of normal and diseased coronary arteries - The ASOCA challengeRamtin Gharleghi, Dona Adikari, Katy Ellenberger, Sze-Yuan Ooi, Chris Ellis, Chung-Ming Chen, Ruochen Gao, Yuting He, Raabid Hussain, Chia-Yen Lee, Jun Li, Jun Ma, Ziwei Nie, Bruno Oliveira, Yaolei Qi, Youssef Skandarani, João L. Vilaça, Xiyue Wang, Sen Yang, Arcot Sowmya, Susann Beier. cmig, 97:102049, 2022. [doi]
Task Clustering on ETL Systems - A Pattern-Oriented ApproachBruno Oliveira, Orlando Belo. QIMIE 2015: 207-214 [doi]
Conceptual-Physical Bridging - From BPMN Models to Physical Implementations on KettleBruno Oliveira, Vasco Santos, Claudia Gomes, Ricardo Marques, Orlando Belo. BPM 2015: 55-59 [doi]
Kidney Segmentation in Ultrasound, Magnetic Resonance and Computed Tomography Images: A Systematic ReviewHelena R. Torres, Sandro F. Queiros, Pedro Morais, Bruno Oliveira, Jaime C. Fonseca, João L. Vilaça. cmpb, 157, 2018. [doi]
Business Intelligence to Improve the Quality of Local Government Services - Case-study in a Local Government Town HallRui Teixeira, Fernando Afonso, Bruno Oliveira, Filipe Portela, Manuel Filipe Santos. ic3k 2014: 153-160 [doi]
A Pattern-Oriented Approach for Supporting ETL Conceptual Modelling and Its YAWL-based ImplementationBruno Oliveira, Orlando Belo, Alfredo Cuzzocrea. QIMIE 2014: 408-415
Decision Support in E-Government - A Pervasive Business Intelligence Approach - Case Study in a Local GovernmentRui Teixeira, Fernando Afonso, Bruno Oliveira, José Machado 0001, António Abelha, Manuel Filipe Santos, Filipe Portela. worldcist 2015: 155-166 [doi]
A Facial Rigging SurveyVerónica Orvalho, Pedro Bastos, Frederic I. Parke, Bruno Oliveira, Xenxo Alvarez. eurographics 2012: 183-204 [doi]
TestEG - A computational game for teaching of software testingBruno Oliveira, Paulo Afonso Parreira, Heitor Costa. sccc 2016: 1-10 [doi]
Using a Domain-Specific Language to Enrich ETL SchemasOrlando Belo, Claudia Gomes, Bruno Oliveira, Ricardo Marques, Vasco Santos. adbis 2015: 28-35 [doi]
CommGate: A Communal Residential GatewayRui Moreira, Jorge Mamede, Bruno Oliveira, Vítor Silva 0001, Luís Silva, José Ruela. ccnc 2008: 207-211 [doi]
Automatic Generation of ETL Physical Systems from BPMN Conceptual ModelsOrlando Belo, Claudia Gomes, Bruno Oliveira, Ricardo Marques, Vasco Santos. medi 2015: 239-247 [doi]
The Agile Quality Culture - A survey on agile culture and software qualityBruno Oliveira, Simone Souza. seke 2014: 298-303
On the specification of extract, transform, and load patterns behavior: A domain-specific language approachBruno Oliveira, Orlando Belo. es, 34(1), 2017. [doi]
A novel multi-atlas strategy with dense deformation field reconstruction for abdominal and thoracic multi-organ segmentation from computed tomographyBruno Oliveira, Sandro F. Queiros, Pedro Morais, Helena R. Torres, João Gomes Fonseca, Jaime C. Fonseca, João L. Vilaça. mia, 45:108-120, 2018. [doi]
Automatic Tag Suggestion Based on Resource ContentsBruno Oliveira, Pável Calado, Helena Sofia Pinto. ekaw 2008: 255-264 [doi]
The Evolution of Web Search User Interfaces - An Archaeological Analysis of Google Search Engine Result PagesBruno Oliveira, Carla Teixeira Lopes. chiir 2023: 55-68 [doi]
Validating ETL Patterns Feasability using AlloyBruno Oliveira, Orlando Belo. QIMIE 2017: 200-207 [doi]
Approaching ETL Conceptual Modelling and Validation using BPMN and BPELBruno Oliveira, Orlando Belo. QIMIE 2013: 191-198
Towards a Formal Validation of ETL Patterns BehaviourBruno Oliveira, Orlando Belo, Nuno Macedo. medi 2016: 156-165 [doi]
Simulation of hybrid systems from natural-language requirementsBruno Oliveira, Gustavo Carvalho, Mohammad Reza Mousavi, Augusto Sampaio. case 2017: 1320-1325 [doi]
Communal Network Architecture for Sharing High Bandwidth ServicesJorge Mamede, Rui Moreira, Bruno Oliveira, Vitor Brandão. cnsr 2008: 300-307 [doi]
Modeling and Supporting ETL Processes via a Pattern-Oriented, Task-Reusable FrameworkOrlando Belo, Alfredo Cuzzocrea, Bruno Oliveira. ictai 2014: 960-966 [doi]
Exploring Unsupervised Domain Adaptation Approaches for Water Parameters Estimation from Satellite ImagesMauren Louise Sguario Coelho de Andrade, Anderson Paulino Souza, Bruno Oliveira, Maria Clara Starling, Camila Costa Amorim, Jefersson A. dos Santos. visigrapp 2024: 861-868 [doi]
BPMN Patterns for ETL Conceptual Modelling and ValidationBruno Oliveira, Orlando Belo. ismis 2012: 445-454 [doi]
A Domain-Specific Language for ETL Patterns Specification in Data Warehousing SystemsBruno Oliveira, Orlando Belo. epia 2015: 597-602 [doi]
Pattern-Based ETL Conceptual ModellingBruno Oliveira, Vasco Santos, Orlando Belo. medi 2013: 237-248 [doi]
Achieving Participant Acceptance of their AvatarsKristopher J. Blom, Anna I. Bellido Rivas, Xenxo Alvarez, Ozan Cetinaslan, Bruno Oliveira, Verónica Orvalho, Mel Slater. presence, 23(3):287-299, 2014. [doi]
RAID-B2K, transforming BPMN conceptual schemas into Kettle execution primitivesOrlando Belo, Vasco Santos 0001, Bruno Oliveira, Claudia Gomes, Ricardo Marques. ijids, 10(1):3-18, 2018. [doi]
Using REO on ETL conceptual modelling: a first approachBruno Oliveira, Orlando Belo. dolap 2013: 55-60 [doi]
An Ontology for Describing ETL Patterns BehaviorBruno Oliveira, Orlando Belo. QIMIE 2016: 102-109 [doi]
Kidney segmentation in 3D CT images using B-Spline Explicit Active SurfacesHelena R. Torres, Bruno Oliveira, Sandro F. Queiros, Pedro Morais, Jaime C. Fonseca, Jan D'hooge, Nuno F. Rodrigues, João L. Vilaça. segah 2016: 1-7 [doi]
From 10 Blue Links Pages to Feature-Full Search Engine Results Pages - Analysis of the Temporal Evolution of SERP FeaturesBruno Oliveira, Carla Teixeira Lopes. chiir 2023: 338-345 [doi]
Audio-based radio and TV broadcast monitoringBruno Oliveira, Alexandre Crivellaro, Roberto Marcondes Cesar Junior. webmedia 2005: 1-3 [doi]
Modeling Agents Working on ETL ProcessesNuno Gomes, Bruno Oliveira, Orlando Belo. paams 2016: 265-268 [doi]
Deep learning networks in the segmentation of the left atrial appendage in 2D ultrasound: A comparative analysisRafael Fernandes, Helena R. Torres, Bruno Oliveira, João Azevedo, Karen Fan, Alex P. Lee, João L. Vilaça, Pedro Morais. embc 2023: 1-4 [doi]
GVRf and Blender: A Path for Android Apps and Games DevelopmentBruno Oliveira, Diego Azulay, Paulo Carvalho. hci 2019: 329-337 [doi]
Automatic Tag Suggestion Based on Resource ContentsBruno Oliveira, Pável Calado, Helena Sofia Pinto. esws 2008: [doi]
Why is the Winner the Best?Matthias Eisenmann, Annika Reinke, Vivienn Weru, Minu Dietlinde Tizabi, Fabian Isensee, Tim J. Adler, Sharib Ali, Vincent Andrearczyk, Marc Aubreville, Ujjwal Baid, Spyridon Bakas, Niranjan Balu, Sophia Bano, Jorge Bernal, Sebastian Bodenstedt, Alessandro Casella, Veronika Cheplygina, Marie Daum, Marleen de Bruijne, Adrien Depeursinge, Reuben Dorent, Jan Egger, David G. Ellis, Sandy Engelhardt, Melanie Ganz, Noha M. Ghatwary, Gabriel Girard, Patrick Godau, Anubha Gupta, Lasse Hansen, Kanako Harada, Mattias P. Heinrich, Nicholas Heller, Alessa Hering, Arnaud Huaulmé, Pierre Jannin, A. Emre Kavur, Oldrich Kodym, Michal Kozubek 0001, Jianning Li, Hongwei Bran Li, Jun Ma 0016, Carlos Martín-Isla, Bjoern H. Menze, J. Alison Noble, Valentin Oreiller, Nicolas Padoy, Sarthak Pati, Kelly Payette, Tim Rädsch, Jonathan Rafael-Patino, Vivek Singh Bawa, Stefanie Speidel, Carole H. Sudre, Kimberlin M. H. van Wijnen, M. Wagner, D. Wei, Amine Yamlahi, Moi Hoon Yap, C. Yuan, Maximilian Zenk, A. Zia, David Zimmerer, Dogu Baran Aydogan, B. Bhattarai, Louise Bloch, Raphael Brüngel, J. Cho, C. Choi, Q. Dou, Ivan Ezhov, Christoph M. Friedrich, C. Fuller, Rebati Raman Gaire, Adrian Galdran, Álvaro García-Faura, Maria Grammatikopoulou, S. Hong, Mostafa Jahanifar, I. Jang, Abdolrahim Kadkhodamohammadi, I. Kang, Florian Kofler, S. Kondo, Hugo Jaco Kuijf, M. Li, M. Luu, Tomaz Martincic, P. Morais, M. A. Naser, B. Oliveira, D. Owen, S. Pang, J. Park, S. Park, S. Plotka, Élodie Puybareau, Nasir M. Rajpoot, K. Ryu, N. Saeed, Adam Shephard, P. Shi, Dejan Stepec, Ronast Subedi, Guillaume Tochon, Helena R. Torres, Hélène Urien, João L. Vilaça, Kareem A. Wahid, H. Wang, J. Wang, L. Wang, X. Wang, Benedikt Wiestler, Marek Wodzinski, F. Xia, J. Xie, Z. Xiong, S. Yang, Y. Yang, Z. Zhao, Klaus H. Maier-Hein, Paul F. Jäger, Annette Kopp-Schneider, Lena Maier-Hein. cvpr 2023: 19955-19966 [doi]
Kind inference for datatypesNingning Xie, Richard A. Eisenberg, Bruno C. D. S. Oliveira. PACMPL, 4(POPL), 2020. [doi]
The Essence of Nested Composition (Artifact)Xuan Bi, Bruno C. D. S. Oliveira, Tom Schrijvers. darts, 4(3), 2018. [doi]
Taming the Merge OperatorXuejing Huang, Jinxu Zhao, Bruno C. D. S. Oliveira. JFP, 31, 2021. [doi]
Let Arguments Go FirstNingning Xie, Bruno C. D. S. Oliveira. ESOP 2018: 272-299 [doi]
Unifying typing and subtypingYanpeng Yang, Bruno C. D. S. Oliveira. PACMPL, 1(OOPSLA), 2017. [doi]
Functional programming with structured graphsBruno C. D. S. Oliveira, William R. Cook. ICFP 2012: 77-88 [doi]
Resolution as intersection subtyping via Modus PonensKoar Marntirosian, Tom Schrijvers, Bruno C. D. S. Oliveira, Georgios Karachalias. PACMPL, 4(OOPSLA), 2020. [doi]
Meta-theory à la carteBenjamin Delaware, Bruno C. D. S. Oliveira, Tom Schrijvers. POPL 2013: 207-218 [doi]
Unified Syntax with Iso-typesYanpeng Yang, Xuan Bi, Bruno C. D. S. Oliveira. aplas 2016: 251-270 [doi]
Abstract syntax graphs for domain specific languagesBruno C. D. S. Oliveira, Andres Löh. PEPM 2013: 87-96 [doi]
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. PACMPL, 7(POPL):515-543, January 2023. [doi]
MRI: Modular reasoning about interference in incremental programmingBruno C. D. S. Oliveira, Tom Schrijvers, William R. Cook. JFP, 22(6):797-852, 2012. [doi]
Revisiting iso-recursive subtypingYaoda Zhou, Bruno C. D. S. Oliveira, Jinxu Zhao. PACMPL, 4(OOPSLA), 2020. [doi]
Pure iso-type systemsYanpeng Yang, Bruno C. D. S. Oliveira. JFP, 29, 2019. [doi]
What does aspect-oriented programming mean for functional programmers?Meng Wang, Bruno C. D. S. Oliveira. ICFP 2009: 37-48 [doi]
Disjoint PolymorphismJoão Alpuim, Bruno C. D. S. Oliveira, Zhiyuan Shi. ESOP 2017: 1-28 [doi]
Extensibility for the Masses - Practical Extensibility with Object AlgebrasBruno C. D. S. Oliveira, William R. Cook. ECOOP 2012: 2-27 [doi]
The expression problem, trivially!Yanlin Wang, Bruno C. D. S. Oliveira. AOSD 2016: 37-41 [doi]
Typed First-Class TraitsXuan Bi, Bruno C. D. S. Oliveira. ECOOP 2018: [doi]
COCHIS: Stable and coherent implicitsTom Schrijvers, Bruno C. D. S. Oliveira, Philip Wadler, Koar Marntirosian. JFP, 29, 2019. [doi]
GMeta: A Generic Formal Metatheory Framework for First-Order RepresentationsGyesik Lee, Bruno C. D. S. Oliveira, Sungkeun Cho, Kwangkeun Yi. ESOP 2012: 436-455 [doi]
Compositional embeddings of domain-specific languagesYaozhu Sun, Utkarsh Dhandhania, Bruno C. D. S. Oliveira. PACMPL, 6(OOPSLA2):175-203, 2022. [doi]
The Duality of SubtypingBruno C. D. S. Oliveira, Shaobo Cui, Baber Rehman. ECOOP 2020: [doi]
A dependently typed calculus with polymorphic subtypingMingqi Xue, Bruno C. D. S. Oliveira. SCP, 208:102655, 2021. [doi]
Shallow EDSLs and Object-Oriented Programming: Beyond Simple CompositionalityWeixin Zhang, Bruno C. D. S. Oliveira. Programming, 3(3):10, 2019. [doi]
FHJ: A Formal Model for Hierarchical Dispatching and OverridingYanlin Wang, Haoyuan Zhang, Bruno C. D. S. Oliveira, Marco Servetto. ECOOP 2018: [doi]
Scrap your boilerplate with object algebrasHaoyuan Zhang, Zewei Chu, Bruno C. D. S. Oliveira, Tijs van der Storm. OOPSLA 2015: 127-146 [doi]
A Type-Directed Operational Semantics For a Calculus with a Merge OperatorXuejing Huang, Bruno C. D. S. Oliveira. ECOOP 2020: [doi]
Type-Directed Operational Semantics for Gradual TypingWenjia Ye, Bruno C. D. S. Oliveira, Xuejing Huang. ECOOP 2021: [doi]
Elementary Type InferenceJinxu Zhao, Bruno C. D. S. Oliveira. ECOOP 2022: [doi]
EVF: An Extensible and Expressive Visitor Framework for Programming Language ReuseWeixin Zhang, Bruno C. D. S. Oliveira. ECOOP 2017: [doi]
A Calculus with Recursive Types, Record Concatenation and SubtypingYaoda Zhou, Bruno C. D. S. Oliveira, Andong Fan. aplas 2022: 175-195 [doi]
Dependent Merges and First-Class Environments (Artifact)Jinhao Tan, Bruno C. D. S. Oliveira. darts, 9(2), 2023. [doi]
Dependent Merges and First-Class EnvironmentsJinhao Tan, Bruno C. D. S. Oliveira. ECOOP 2023: [doi]
Pattern matching in an open worldWeixin Zhang, Bruno C. D. S. Oliveira. GPCE 2018: 134-146 [doi]
Monads, zippers and views: virtualizing the monad stackTom Schrijvers, Bruno C. D. S. Oliveira. ICFP 2011: 32-44 [doi]
Programming Languages and Systems - 18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 - December 2, 2020, ProceedingsBruno C. D. S. Oliveira, editor, Volume 12470 of Lecture Notes in Computer Science, Springer, 2020. [doi]
Row and Bounded Polymorphism via Disjoint PolymorphismNingning Xie, Bruno C. D. S. Oliveira, Xuan Bi, Tom Schrijvers. ECOOP 2020: [doi]
Direct Foundations for Compositional ProgrammingAndong Fan, Xuejing Huang, Han Xu, Yaozhu Sun, Bruno C. D. S. Oliveira. ECOOP 2022: [doi]
Disjoint intersection typesBruno C. D. S. Oliveira, Zhiyuan Shi, João Alpuim. ICFP 2016: 364-377 [doi]
The Essence of the ITERATOR PatternJeremy Gibbons, Bruno C. D. S. Oliveira. mpc 2006: [doi]
Partition-based regression verificationMarcel Böhme, Bruno C. D. S. Oliveira, Abhik Roychoudhury. ICSE 2013: 302-311 [doi]
Typed First-Class Traits (Artifact)Xuan Bi, Bruno C. D. S. Oliveira. darts, 4(3), 2018. [doi]
Recursive Subtyping for AllLitao Zhou, Yaoda Zhou, Bruno C. D. S. Oliveira. PACMPL, 7(POPL):1396-1425, January 2023. [doi]
Consistent Subtyping for AllNingning Xie, Xuan Bi, Bruno C. D. S. Oliveira. ESOP 2018: 3-30 [doi]
Greedy Implicit Bounded QuantificationChen Cui, Shengyi Jiang, Bruno C. D. S. Oliveira. PACMPL, 7(OOPSLA2):2083-2111, October 2023. [doi]
Distributing intersection and union types with splits and duality (functional pearl)Xuejing Huang, Bruno C. D. S. Oliveira. PACMPL, 5(ICFP):1-24, 2021. [doi]
A Type-Directed Operational Semantics For a Calculus with a Merge Operator (Artifact)Xuejing Huang, Bruno C. D. S. Oliveira. darts, 6(2), 2020. [doi]
Regression tests to expose change interaction errorsMarcel Böhme, Bruno C. D. S. Oliveira, Abhik Roychoudhury. FSE 2013: 334-344 [doi]
Quantified class constraintsGert-Jan Bottu, Georgios Karachalias, Tom Schrijvers, Bruno C. D. S. Oliveira, Philip Wadler. haskell 2017: 148-161 [doi]
Classless JavaYanlin Wang, Haoyuan Zhang, Bruno C. D. S. Oliveira, Marco Servetto. GPCE 2016: 14-24 [doi]
Castor: Programming with extensible generative visitorsWeixin Zhang, Bruno C. D. S. Oliveira. SCP, 193:102449, 2020. [doi]
Revisiting Iso-Recursive SubtypingYaoda Zhou, Jinxu Zhao, Bruno C. D. S. Oliveira. TOPLAS, 44(4), December 2022. [doi]
Modular monadic meta-theoryBenjamin Delaware, Steven Keuchel, Tom Schrijvers, Bruno C. D. S. Oliveira. ICFP 2013: 319-330 [doi]
Feature-Oriented Programming with Object AlgebrasBruno C. D. S. Oliveira, Tijs van der Storm, Alex Loh, William R. Cook. ECOOP 2013: 27-51 [doi]
Applicative Intersection TypesXu Xue, Bruno C. D. S. Oliveira, Ningning Xie. aplas 2022: 155-174 [doi]
Compositional ProgrammingWeixin Zhang, Yaozhu Sun, Bruno C. D. S. Oliveira. TOPLAS, 43(3), 2021. [doi]
A mechanical formalization of higher-ranked polymorphic type inferenceJinxu Zhao, Bruno C. D. S. Oliveira, Tom Schrijvers. PACMPL, 3(ICFP), 2019. [doi]
Consistent Subtyping for AllNingning Xie, Xuan Bi, Bruno C. D. S. Oliveira, Tom Schrijvers. TOPLAS, 42(1), 2020. [doi]
Formalization of a Polymorphic Subtyping AlgorithmJinxu Zhao, Bruno C. D. S. Oliveira, Tom Schrijvers. itp 2018: 604-622 [doi]
Pragmatic Gradual Polymorphism with ReferencesWenjia Ye, Bruno C. D. S. Oliveira. ESOP 2023: 140-167 [doi]
Type-safe modular parsingHaoyuan Zhang, Huang Li, Bruno C. D. S. Oliveira. SLE 2017: 2-13 [doi]
Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2019, Athens, Greece, October 20-22, 2019Oscar Nierstrasz, Jeff Gray, Bruno C. D. S. Oliveira, editors, ACM, 2019. [doi]
Regression Testing of Evolving ProgramsMarcel Böhme, Abhik Roychoudhury, Bruno C. D. S. Oliveira. ac, 89:53-88, 2013. [doi]
Separating Use and Reuse to Improve BothHrshikesh Arora, Marco Servetto, Bruno C. D. S. Oliveira. Programming, 3(3):12, 2019. [doi]
Memory-Efficient Tail Calls in the JVM with Imperative Functional ObjectsTomás Tauber, Xuan Bi, Zhiyuan Shi, Weixin Zhang, Huang Li, Zhenrui Zhang, Bruno C. D. S. Oliveira. aplas 2015: 11-28 [doi]
EVF: An Extensible and Expressive Visitor Framework for Programming Language Reuse (Artifact)Weixin Zhang, Bruno C. D. S. Oliveira. darts, 3(2), 2017. [doi]
Compositional Programming (Artifact)Weixin Zhang, Yaozhu Sun, Bruno C. D. S. Oliveira. darts, 7(2), 2021. [doi]
Modular architecture for code and metadata sharingTomás Tauber, Bruno C. D. S. Oliveira. AOSD 2016: 106-117 [doi]
Type-Directed Operational Semantics for Gradual Typing (Artifact)Wenjia Ye, Bruno C. D. S. Oliveira, Xuejing Huang. darts, 7(2), 2021. [doi]
Modular reifiable matching: a list-of-functors approach to two-level typesBruno C. D. S. Oliveira, Shin-Cheng Mu, Shu-Hung You. haskell 2015: 82-93 [doi]
Distributive Disjoint Polymorphism for Compositional ProgrammingXuan Bi, Ningning Xie, Bruno C. D. S. Oliveira, Tom Schrijvers. ESOP 2019: 381-409 [doi]
Elementary Type Inference (Artifact)Jinxu Zhao, Bruno C. D. S. Oliveira. darts, 8(2), 2022. [doi]
The Essence of Nested CompositionXuan Bi, Bruno C. D. S. Oliveira, Tom Schrijvers. ECOOP 2018: [doi]
The implicit calculus: a new foundation for generic programmingBruno C. D. S. Oliveira, Tom Schrijvers, Wontae Choi, Wonchan Lee, Kwangkeun Yi. PLDI 2012: 35-44 [doi]
Proceedings of the 9th ACM SIGPLAN International Symposium on Scala, SCALA@ICFP 2018, St. Louis, MO, USA, September 28, 2018Sebastian Erdweg, Bruno C. D. S. Oliveira, editors, ACM, 2018. [doi]
Functional programming, object-oriented programming and algebras!Bruno C. D. S. Oliveira. ICFP 2014: 1 [doi]
Union Types with Disjoint Switches (Artifact)Baber Rehman, Xuejing Huang, Ningning Xie, Bruno C. D. S. Oliveira. darts, 8(2), 2022. [doi]
Union Types with Disjoint SwitchesBaber Rehman, Xuejing Huang, Ningning Xie, Bruno C. D. S. Oliveira. ECOOP 2022: [doi]
The Duality of Subtyping (Artifact)Bruno C. D. S. Oliveira, Shaobo Cui, Baber Rehman. darts, 6(2), 2020. [doi]
Making a Type Difference: Subtraction on Intersection Types as Generalized Record OperationsHan Xu, Xuejing Huang, Bruno C. D. S. Oliveira. PACMPL, 7(POPL):893-920, January 2023. [doi]
Direct Foundations for Compositional Programming (Artifact)Andong Fan, Xuejing Huang, Han Xu, Yaozhu Sun, Bruno C. D. S. Oliveira. darts, 8(2), 2022. [doi]

All Publications

Filter by Year

Filter by Type

Filter by Topic

Filter by Venue

Filter by Co-author

Filter by Top terms

Download

External Links

Profile Name

Statistics

Aliases

Researchr

Bruno C. d. S. Oliveira's Profile

Unidentified Publications