Mechanized type inference for record concatenation

(haskellforall.com)

4 points | by g0xA52A2A 8 hours ago ago