SULL INFERENZA DI TIPI POLIMORFI

[Total: 0    Average: 0/5]

Si confrontano due sistemi di inferenza di tipi per linguaggi funzionali; uno basato sull' interpretazione astratta e l' altro basato su sistemi comprendenti unificazioni e semiunificazioni. Si discute, in particolare, il caso della "polymorphic linar recursion".