His book "Types and Programming Languages" is widely regarded as one of the finest on the subject, and its sequel, "Advanced Topics in Types and Programming Languages", is also highly respected.
His "Advanced Topics in Types and Programming Languages" is also highly respected. His book "Types and Programming Languages" is widely regarded as one of the finest on the subject.
His book "Types and Programming Languages" is widely regarded as one of the finest on the subject. His "Advanced Topics in Types and Programming Languages" is also highly respected.
His book "Types and Programming Languages" is widely regarded as one of the finest on the subject. His "Advanced Topics in Types and Programming Languages" is also highly respected.