We study anti-unification for possibly cyclic, unranked term-graphs and develop an
algorithm, which computes a minimal complete set of generalizations for them. For bisimilar …

Support for generalized algebraic data types (GADT) in extensions of Haskell allows
functions defined over GADTs to be written without the need for type annotations in some …

Sistemas de tipos para linguagens de programação são conjuntos de regras que definem
tipos para os construtores de um programa. Seu objetivo é aumentar a garantia de que as …

Tipos de dados algébricos generalizados (GADTs) são uma extensão dos tipos de dados
algébricos, disponível em linguagens funcionais como Haskell e ML, que possibilitam a …