Concepedia

Bruno C. d. S. Oliveira

BC

29

Publications

835

Citations

18

H-Index

2005

Active since

Affiliations

University of Hong Kong(Current)

National University of Singapore

University of Oxford

Seoul National University

The University of Texas at Austin

Bruno C. d. S. Oliveira is an author at University of Hong Kong specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisAutomated ReasoningFormal VerificationSoftware AnalysisSoftware EngineeringProgramming LanguagesSoftware Design

Publications per year

2005–2023

29

Publications

29

Type classes as objects and implicits

Bruno C. d. S. Oliveira, Adriaan Moors, Martin Odersky · 2010 · 108 citations · Full text

Type Classes, Engineering, Ad-hoc Polymorphism +13

Comparing libraries for generic programming in haskell

Alexey Rodriguez, Johan Jeuring, Patrik Jansson et al. · 2008 · 70 citations

Engineering, Data Science, Generic Programming +13

The essence of the <scp>Iterator</scp> pattern

Jeremy Gibbons, Bruno C. d. S. Oliveira · Journal of Functional Programming · 2009 · 62 citations · Full text

Programming Language Theory, Engineering, Automated Reasoning +12

Regression tests to expose change interaction errors

Marcel Böhme, Bruno C. d. S. Oliveira, Abhik Roychoudhury · 2013 · 46 citations

Software Maintenance, Engineering, Verification +21

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

Bruno C. d. S. Oliveira, Meng Wang, Jeremy Gibbons · 2008 · 44 citations · Full text

Architectural Design, Engineering, Visitor Design Pattern +13

Rows per page

1–5 of 29