( en | de | ru )

 

Disambiguation of "da Silva Feitosa, Samuel"

Author of the publication

copydeleteadd this publication to your clipboard
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)

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.

Kerstin da Silva

Samuel Silva-Gotay

Rodrigo Corrêa da Silva

Adriano João Da Silva

Carolina Ferraz da Silva

 

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)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)An Intrinsically-Typed Solution for the List-Machine Benchmark., and . SBLP, page 1-8. ACM, (2020)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)Property-based testing for lambda expressions semantics in featherweight Java., , and . SBLP, page 43-50. ACM, (2018)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)