Introduction to Type Systems (2020)

Introduction to Type Systems

  1. Introduction to Type Systems – 23 May 2020
  2. Simply typed lambda calculus – 24 May 2020
  3. Polymorphic lambda calculus – 27 May 2020
  4. Type inference – 14 June 2020

Read in full here:

https://splintah.github.io/series/Introduction%20to%20Type%20Systems.html

This thread was posted by one of our members via one of our news source trackers.

Corresponding tweet for this thread:

Share link for this tweet.