Paper Reading: Sized Types

Paper Reading: Refinement Types

Paper Reading: How to make ad-hoc polymorphism less ad-hoc

Type-Theoretic Constructs in C++

Paper Reading: "Types and Programming Languages" Chapter 22

Displaying Information for Thrown and Caught Exceptions to the User in Python

Paper Reading: "Types and Programming Languages" Chapter 15 and Chapter 16

Paper Reading: "Types and Programming Languages" Chapter 13 and Chapter 14

Paper Reading: Bi-directional type checking

Paper Reading: "Types and Programming Languages" Chapter 9 and Chapter 11