99 citations · 174 across the 15 of their papers we have counts for
1 paper · 2 filters
João Barbosa, Mário Florido, Vítor Santos Costa
In this paper we present a new static data type inference algorithm for logic programming. Without the need of declaring types for predicates, our algorithm is able to automaticall…