lang-dev

本文对Mitchell Wand在1991年提出的偏记录拼接类型推断算法进行了机械化，提供了声明式与算法式语义，并给出了Haskell参考实现，以推动Nix及其他语言的类型检查进展。