Bruno C. d. S. Oliveira
Orcid: 0000-0002-1846-7210
According to our database1,
Bruno C. d. S. Oliveira
authored at least 92 papers
between 2005 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
2023
Making a Type Difference: Subtraction on Intersection Types as Generalized Record Operations.
Proc. ACM Program. Lang., January, 2023
Proc. ACM Program. Lang., January, 2023
Dagstuhl Artifacts Ser., 2023
Proceedings of the Programming Languages and Systems, 2023
Proceedings of the 37th European Conference on Object-Oriented Programming, 2023
2022
Proc. ACM Program. Lang., 2022
Dagstuhl Artifacts Ser., 2022
Proceedings of the 36th European Conference on Object-Oriented Programming, 2022
Proceedings of the 36th European Conference on Object-Oriented Programming, 2022
Proceedings of the 36th European Conference on Object-Oriented Programming, 2022
Proceedings of the Programming Languages and Systems - 20th Asian Symposium, 2022
Proceedings of the Programming Languages and Systems - 20th Asian Symposium, 2022
2021
Distributing intersection and union types with splits and duality (functional pearl).
Proc. ACM Program. Lang., 2021
Dagstuhl Artifacts Ser., 2021
Proceedings of the 35th European Conference on Object-Oriented Programming, 2021
2020
Proc. ACM Program. Lang., 2020
A Type-Directed Operational Semantics For a Calculus with a Merge Operator (Artifact).
Dagstuhl Artifacts Ser., 2020
Proceedings of the 34th European Conference on Object-Oriented Programming, 2020
Proceedings of the 34th European Conference on Object-Oriented Programming, 2020
Proceedings of the 34th European Conference on Object-Oriented Programming, 2020
2019
Art Sci. Eng. Program., 2019
Proc. ACM Program. Lang., 2019
Proceedings of the Programming Languages and Systems, 2019
2018
Proceedings of the Interactive Theorem Proving - 9th International Conference, 2018
Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2018
Proceedings of the Programming Languages and Systems, 2018
Proceedings of the 32nd European Conference on Object-Oriented Programming, 2018
Proceedings of the 32nd European Conference on Object-Oriented Programming, 2018
Proceedings of the 32nd European Conference on Object-Oriented Programming, 2018
2017
EVF: An Extensible and Expressive Visitor Framework for Programming Language Reuse (Artifact).
Dagstuhl Artifacts Ser., 2017
Proceedings of the 10th ACM SIGPLAN International Conference on Software Language Engineering, 2017
Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, 2017
Proceedings of the 31st European Conference on Object-Oriented Programming, 2017
2016
Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016
Proceedings of the 2016 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2016
Proceedings of the Programming Languages and Systems - 14th Asian Symposium, 2016
Proceedings of the 15th International Conference on Modularity, 2016
Proceedings of the 15th International Conference on Modularity, 2016
2015
Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015
Proceedings of the 8th ACM SIGPLAN Symposium on Haskell, 2015
Proceedings of the Programming Languages and Systems - 13th Asian Symposium, 2015
2014
Proceedings of the 10th ACM SIGPLAN workshop on Generic programming, 2014
2013
Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013
Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013
Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, 2013
Proceedings of the 35th International Conference on Software Engineering, 2013
Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2013
Proceedings of the ECOOP 2013 - Object-Oriented Programming, 2013
2012
J. Funct. Program., 2012
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012
Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2012
Proceedings of the Programming Languages and Systems, 2012
Proceedings of the ECOOP 2012 - Object-Oriented Programming, 2012
2011
Proceedings of the Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, 2011
2010
Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010
Proceedings of the 9th International Conference on Aspect-Oriented Software Development, 2010
2009
Proceedings of the 2009 ACM SIGPLAN workshop on Generic programming, 2009
2008
Proceedings of the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008
Proceedings of the 1st ACM SIGPLAN Symposium on Haskell, 2008
2007
Proceedings of the 2nf International Conference on Scalable Information Systems, 2007
2006
Extensible and modular generics for the masses.
Proceedings of the Revised Selected Papers from the Seventh Symposium on Trends in Functional Programming, 2006
Proceedings of the Functional and Logic Programming, 8th International Symposium, 2006
2005
Proceedings of the ACM SIGPLAN Workshop on Haskell, 2005