( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Towards Typed Semantics for Parsing Expression Grammars.

, , , и . SBLP, стр. 70-77. 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.

Andrea Ribeiro

Hugo Ribeiro

Geraldo Souza Dias

Horst Ribeiro

HUGO RIBEIRO

 

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

Certified Bit-Coded Regular Expression Parsing., и . SBLP, стр. 4:1-4:8. ACM, (2017)An Inherently-Typed Formalization for Featherweight Java., , , и . SBLP, стр. 11-18. ACM, (2019)Type-based Termination Analysis for Parsing Expression Grammars., , , , и . SAC, стр. 1372-1379. ACM, (2023)Terminating constraint set satisfiability and simplification algorithms for context-dependent overloading., , и . J. Braz. Comput. Soc., 19 (4): 423-432 (2013)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)A Mechanized Textbook Proof of a Type Unification Algorithm., и . SBMF, том 9526 из Lecture Notes in Computer Science, стр. 127-141. Springer, (2015)Mechanized metatheory for a λ-calculus with trust types., , и . J. Braz. Comput. Soc., 19 (4): 433-443 (2013)