1 citations · 1 across the 1 of their papers we have counts for
1 paper
Bernardo Almeida, Andreia Mordido, Vasco T. Vasconcelos
We present a kind inference algorithm for the FREEST programming language. The input to the algorithm is FREEST source code with (possibly part of) kind annotations replaced by kin…