2018-09-21: Conor McBride (MSP)

Sat, 21 Oct 2023 21:24:08 +0100

Conor McBride (MSP)

First-order unification

Abstract

I'll do a 101 today, filed under "stuff everybody should know" about first-order unification (the algorithm underlying Hindley-Milner type inference, Prolog, etc). But then I'll throw in the twist of considering syntax with binding. The way I cook it, this makes essential use of the structure of the category of thinnings.

2018-09-21 16:00:00 UTC
LT1310