( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
An attribute language definition for adaptable parsing expression grammars.

, , , , , и . SAC, стр. 1518-1525. ACM, (2019)

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.

Hugo Ribeiro

Andrea Ribeiro

Geraldo Souza Dias

Horst Ribeiro

HUGO RIBEIRO

 

Другие публикации лиц с тем же именем

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