Python-CakeML是一种具有成熟正确编译器和运行系统的功能性编程语言

【文件属性】：

文件名称：Python-CakeML是一种具有成熟正确编译器和运行系统的功能性编程语言

文件大小：3.31MB

文件格式：ZIP

更新时间：2022-08-30 03:57:53

Python开发-其它杂项

CakeML是一种具有成熟正确编译器和运行系统的功能性编程语言。 CakeML是基于Standard ML 的重要子集。它的语义和编译器算法都强调高阶逻辑，并且已被证明是改造CakeML程序为语义等价的机器代码。