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

Towards an Extrinsic Formalization of Featherweight Java in Agda., , and . CLEI Electron. J., (2021)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)The Design of a Verified Derivative-Based Parsing Tool for Regular Expressions., , , , , and . CLEI Electron. J., (2021)Towards Typed Semantics for Parsing Expression Grammars., , , and . SBLP, page 70-77. ACM, (2019)Formal Semantics for Java-like Languages and Research Opportunities., , and . RITA, 25 (3): 62-74 (2018)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)