gradual-typing-bib:渐进式打字书目

本参考书目试图涵盖有关渐进式打字的所有文献，这些文献被定义为单个程序中已打字和未打字部分之间的安全互操作性。 它始于渐进式打字的原始工作，该工作由四组作者在2006年9月至2007年1月之间独立提出，然后涵盖了后续的大量理论和实践文献。 后几节介绍相关工作。 首先，早期进行安全互操作的工作，例如合同工作。 其次，有关类型系统（广泛定义）的工作，旨在与现有的非类型化语言配合使用，包括在渐进式类型化背景下进行的近期工作。 有关类型系统设计的工作也考虑了与无类型程序的互操作性问题，这些工作出现在参考书目的主要部分中。 对于使用撰写的论文，该参考书目可以作为软件包安装并直接从论文中引用。 使用以下命令进行安装： raco pkg install git://github.com/samth/gradual-typing-bib 样品使用： #lang scribble/base @(r