( en | de | ru )

 

Disambiguation of "Ribeiro, Rodrigo Geraldo"

Author of the publication

copydeleteadd this publication to your clipboard
Open transactional actions: interacting with non-transactional resources in STM Haskell.

, , , , and . Haskell, page 54-65. ACM, (2022)

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.

Hugo Ribeiro

Andrea Ribeiro

Geraldo Souza Dias

Horst Ribeiro

HUGO RIBEIRO

 

Other publications of authors with the same name

An Inherently-Typed Formalization for Featherweight Java., , , and . SBLP, page 11-18. ACM, (2019)Type-based Termination Analysis for Parsing Expression Grammars., , , , and . SAC, page 1372-1379. ACM, (2023)A Haskell Library for Adaptable Parsing Expression Grammars., , , and . SBLP, page 73-81. ACM, (2023)Type inference for GADTs, outsidein and anti-unification., , and . SBLP, page 51-58. ACM, (2018)Synthesis of Random Real-World Java Programs from Preexisting Libraries., , , and . SBLP, page 108-115. ACM, (2021)A Type-Directed Algorithm to Generate Random Well-Formed Parsing Expression Grammars., , , , and . SBLP, page 8-14. ACM, (2022)Terminating constraint set satisfiability and simplification algorithms for context-dependent overloading., , and . J. Braz. Comput. Soc., 19 (4): 423-432 (2013)Certified Bit-Coded Regular Expression Parsing., and . SBLP, page 4:1-4:8. ACM, (2017)A Mechanized Textbook Proof of a Type Unification Algorithm., and . SBMF, volume 9526 of Lecture Notes in Computer Science, page 127-141. Springer, (2015)Mechanized metatheory for a λ-calculus with trust types., , and . J. Braz. Comput. Soc., 19 (4): 433-443 (2013)