Rafael Castro G. Silva

Publication Activity (10 Years)

Years Active: 2018-2020
Publications (10 Years): 2

Top Topics

Datalog Queries

Automatic Analysis

Top Venues

Publications

Rafael Castro G. Silva, Cristiano D. Vasconcellos, Karina Girardi Roggia
Monadic W in Coq. SBLP (2020)
Rafael Castro G. Silva, Karina Girardi Roggia, Cristiano Damiani Vasconcellos
Haskell Type System Analysis. RITA 25 (3) (2018)