I wrote a survey paper about type system design as a term paper of the Scholarship Skills course at Portland State University.

• Slides ftmin.pdf (69.06 KB)
  
  
• Paper proj5.pdf (78.78 KB)