( en | de | ru )

 

Disambiguierung von "Ribeiro, Rodrigo Geraldo"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Type Inference for GADTs and Anti-unification.

, , , und . SBLP, Volume 9325 von Lecture Notes in Computer Science, Seite 16-30. Springer, (2015)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Hugo Ribeiro

Andrea Ribeiro

Geraldo Souza Dias

Horst Ribeiro

Daniel Ribeiro

 

Weitere Publikationen von Autoren mit dem selben Namen

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