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)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)Towards Typed Semantics for Parsing Expression Grammars., , , and . SBLP, page 70-77. ACM, (2019)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)A Monadic Semantics for Quantum Computing in Featherweight Java., , , and . SBLP, volume 9889 of Lecture Notes in Computer Science, page 31-45. Springer, (2016)A Type-Directed Algorithm to Generate Well-Typed Featherweight Java Programs., , and . SBMF, volume 11254 of Lecture Notes in Computer Science, page 39-55. Springer, (2018)Property-based testing for lambda expressions semantics in featherweight Java., , and . SBLP, page 43-50. ACM, (2018)