( en | de | ru )

 

Disambiguation of "d. S. Oliveira, Bruno C."

Author of the publication

copydeleteadd this publication to your clipboard
MRI: Modular reasoning about interference in incremental programming.

, , and . J. Funct. Program., 22 (6): 797-852 (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

S C Jones

Augusto Brandão d' Oliveira

Bruno d' Agostini

S T PATIL D S BORMANE

Gregory D S Anderson

 

Other publications of authors with the same name

EVF: An Extensible and Expressive Visitor Framework for Programming Language Reuse (Artifact)., and . Dagstuhl Artifacts Ser., 3 (2): 10:1-10:2 (2017)A Type-Directed Operational Semantics For a Calculus with a Merge Operator (Artifact)., and . Dagstuhl Artifacts Ser., 6 (2): 09:1-09:4 (2020)Distributing intersection and union types with splits and duality (functional pearl)., and . Proc. ACM Program. Lang., 5 (ICFP): 1-24 (2021)Extensibility for the Masses - Practical Extensibility with Object Algebras., and . ECOOP, volume 7313 of Lecture Notes in Computer Science, page 2-27. Springer, (2012)Modular Visitor Components.. ECOOP, volume 5653 of Lecture Notes in Computer Science, page 269-293. Springer, (2009)Consistent Subtyping for All., , , and . ACM Trans. Program. Lang. Syst., 42 (1): 2:1-2:79 (2020)Castor: Programming with extensible generative visitors., and . Sci. Comput. Program., (2020)The Duality of Subtyping (Artifact)., , and . Dagstuhl Artifacts Ser., 6 (2): 08:1-08:6 (2020)Disjoint Polymorphism., , and . ESOP, volume 10201 of Lecture Notes in Computer Science, page 1-28. Springer, (2017)Memory-Efficient Tail Calls in the JVM with Imperative Functional Objects., , , , , , and . APLAS, volume 9458 of Lecture Notes in Computer Science, page 11-28. Springer, (2015)