Author of the publication

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.

 

Other publications of authors with the same name

Usando Esquema GraphQL para Geração de Consultas de Forma Aleatória., , , and . SBLP, page 17-24. ACM, (2023)Open transactional actions: interacting with non-transactional resources in STM Haskell., , , , and . Haskell, page 54-65. ACM, (2022)Formal Semantics for Java-like Languages and Research Opportunities., , and . RITA, 25 (3): 62-74 (2018)Towards Typed Semantics for Parsing Expression Grammars., , , and . SBLP, page 70-77. ACM, (2019)An Intrinsically-Typed Solution for the List-Machine Benchmark., and . SBLP, page 1-8. ACM, (2020)A Sound Strategy to Compile General Recursion into Finite Depth Pattern Matching., , and . SBMF, volume 13768 of Lecture Notes in Computer Science, page 39-54. Springer, (2022)A Monadic Semantics for Quantum Computing in Featherweight Java., , , and . SBLP, volume 9889 of Lecture Notes in Computer Science, page 31-45. Springer, (2016)Syntax vs Semantics: Comparing Consistency Proofs for Minimal Propositional Logics., , , , and . SBLP, page 9-16. ACM, (2020)Uma DSL para gerar APIs RESTFul em Haskell., , , and . SBLP, page 9-16. ACM, (2023)An Inherently-Typed Formalization for Featherweight Java., , , and . SBLP, page 11-18. ACM, (2019)