描述

该工件包括亨利·德扬（Henry DeYoung）、安德烈亚·莫迪多（Andrea Mordido）、弗兰克·普芬宁（Frank Pfenning）和安库什·达斯（Ankush Das）在POPL 2024论文《结构参数多态性的参数子类型化》（parametric subtyping for Structural Parametrics Polymophy）中描述的参数子型算法的标准ML实现，以及包含该论文中所有。最新的源代码保存在位于的存储库中https://bitbucket.org/strustructure-types/polyte/src/main/。为了方便起见，还提供了一个带有源代码、必要的SML依赖项和预构建二进制文件的VirtualBox VM映像https://zenodo.org/records/8423335。

原产地

作者编写了包含该工件的源代码和示例，作为研究项目的一部分，该研究项目产生了他们的POPL 2024论文“结构参数多态性的参数化子类型”。

许可证