some of the best pieces in type systems (and model theory too!) were from benjam...

th3iedkid on April 21, 2014 | parent | context | favorite | on: Let the Type System do the Work

some of the best pieces in type systems (and model theory too!) were from benjamin pierce and his book on type-systems.