4 ms·
some of the best pieces in type systems (and model theory too!) were from benjamin pierce and his book on type-systems.
by th3iedkid 13y ago
some of the best pieces in type systems (and model theory too!) were from benjamin pierce and his book on type-systems.