Adelaine Gelain

Publication Activity (10 Years)

Years Active: 2015-2015
Publications (10 Years): 1

Top Topics

Inductive Learning

Bayesian Networks

Top Venues

Publications

Adelaine Gelain, Cristiano D. Vasconcellos, Carlos Camarão, Rodrigo Geraldo Ribeiro
Type Inference for GADTs and Anti-unification. SBLP (2015)