Mechanized type inference for record concatenation

trenchant | 17 hours ago

I wonder how helpful/related Cue's notion of the lattice is to this problem of late-binding type-checking.