Maycon Amaro

According to our database, Maycon Amaro authored at least 4 papers between 2020 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2022

A Sound Strategy to Compile General Recursion into Finite Depth Pattern Matching.

Maycon Amaro, Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro

Proceedings of the Formal Methods: Foundations and Applications - 25th Brazilian Symposium, 2022

2021

The Design of a Verified Derivative-Based Parsing Tool for Regular Expressions.

Elton M. Cardoso, Maycon Amaro, Samuel da Silva Feitosa, Leonardo Vieira dos Santos Reis, André Rauber Du Bois, Rodrigo Geraldo Ribeiro

CLEI Electron. J., 2021

2020

A Mechanized Proof of a Textbook Type Unification Algorithm.

André Rauber Du Bois, Rodrigo Geraldo Ribeiro, Maycon Amaro

RITA, 2020

Syntax vs Semantics: Comparing Consistency Proofs for Minimal Propositional Logics.

Felipe Sasdelli, Maycon Amaro, Elton M. Cardoso, Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro

Proceedings of the SBLP '20: 24th Brazilian Symposium on Programming Languages, 2020