( en | de | ru )

 

Disambiguation of "Ribeiro, Rodrigo Geraldo"

Author of the publication

copydeleteadd this publication to your clipboard
Type inference for GADTs, outsidein and anti-unification.

, , and . SBLP, page 51-58. ACM, (2018)

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

Terminating constraint set satisfiability and simplification algorithms for context-dependent overloading., , and . J. Braz. Comput. Soc., 19 (4): 423-432 (2013)Type-based Termination Analysis for Parsing Expression Grammars., , , , and . SAC, page 1372-1379. ACM, (2023)Certified Bit-Coded Regular Expression Parsing., and . SBLP, page 4:1-4:8. ACM, (2017)An Inherently-Typed Formalization for Featherweight Java., , , and . SBLP, page 11-18. ACM, (2019)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)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)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)