Abstract is missing.
- An Intrinsically-Typed Solution for the List-Machine BenchmarkSamuel da Silva Feitosa, Rodrigo Geraldo Ribeiro. 1-8 [doi]
- Syntax vs Semantics: Comparing Consistency Proofs for Minimal Propositional LogicsFelipe Sasdelli, Maycon Amaro, Elton M. Cardoso, Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro. 9-16 [doi]
- A Gradual Type System for ElixirMauricio Cassola, Agustín Talagorria, Alberto Pardo, Marcos Viera. 17-24 [doi]
- Monadic W in CoqRafael Castro G. Silva, Cristiano D. Vasconcellos, Karina Girardi Roggia. 25-32 [doi]
- A formalisation of LEGv8 in AgdaSantiago Arranz Olmos, Martín-Fernández, Matías Steinberg, Alejandro Gadea, Emmanuel Gunther, Miguel Pagano. 33-39 [doi]
- An Algorithm for Context-Free Path Queries over Graph DatabasesCiro M. Medeiros, Martin A. Musicante, Umberto Souza da Costa. 40-47 [doi]
- Stream Parallelism Annotations for Multi-Core FrameworksRenato B. Hoffmann, Dalvan Griebler, Marco Danelutto, Luiz Gustavo Fernandes. 48-55 [doi]
- YACOS: a Complete Infrastructure to the Design and Exploration of Code Optimization SequencesAndré Felipe Zanella, Anderson Faustino da Silva, Fernando Magno Quintão Pereira. 56-63 [doi]
- Towards an order-aware object comparisonBruno Sofiato, Fábio Levy Siqueira, Ricardo Luis de Azevedo da Rocha. 64-71 [doi]