armchair_progamerM to Programming Languages · 1 year agoType Checking with Eqlog (5-Part Series)www.mbid.meexternal-linkmessage-square0fedilinkarrow-up12arrow-down11file-text
arrow-up11arrow-down1external-linkType Checking with Eqlog (5-Part Series)www.mbid.mearmchair_progamerM to Programming Languages · 1 year agomessage-square0fedilinkfile-text
Part 1: Parsing Part 2: Variable Binding Part 3: Types Part 4: Typing Part 5: Hindley-Milner Polymorphism