SULL INFERENZA DI TIPI POLIMORFI

You are viewing the theme
[Voti: 0    Media Voto: 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".