Type Checking with Eqlog (5-Part Series) (www.mbid.me)
from armchair_progamer@programming.dev to programming_languages@programming.dev on 22 Aug 2023 20:12
https://programming.dev/post/2018639

Part 1: Parsing

Part 2: Variable Binding

Part 3: Types

Part 4: Typing

Part 5: Hindley-Milner Polymorphism

#programming_languages