5 ms·
Pierce's very influential book "Types and Programming Languages" (TAPL) makes the case that type systems are "lightweight formal methods".
by throwaway81523 5y ago
Pierce's very influential book "Types and Programming Languages" (TAPL) makes the case that type systems are "lightweight formal methods".