An Intrinsically Typed Solution for the List-Machine Benchmark
Samuel Feitosa and Rodrigo Ribeiro
Syntax vs Semantics: Comparing Consistency Proofs for Minimal Propositional Logics
Felipe Sasdelli, Maycon Amaro, Elton Cardoso, Samuel Feitosa, and Rodrigo Ribeiro
A Gradual Type System for Elixir
Mauricio Cassola, Agustín Talagorria, Alberto Pardo, and Marcos Viera