2023年7月8日出版 |版本v2
软件 打开

“特殊交付：使用邮箱类型编程”的工件

创建者

  • 1格拉斯哥大学

描述

这是ICFP 2023接受的论文《特殊交付：使用邮箱类型编程》的作品。

工件由一个QEMU图像（基于ICFP基本图像）组成，该图像包含Pat类型检查器和帮助评估工件的脚本。typechecker是用OCaml编写的，并使用Z3作为Presburger公式的后端解算器。

在自述文件中可以找到更多详细信息。

笔记

ICFP’23 AEC评估工件为“可重用”。

文件夹

调试.md

文件夹（1.9 GB）

姓名 大小 全部下载
md5:c9253bc01bde7a600ee781847af6f7bf
 		3.2千字节 预览 下载
md5:b3941debff1bc84d43eafecc13dac502
 		1.9 GB 预览 下载
md5:6cb8203be8 fcb833f9 99093078e26a9
 		854字节 下载
md5:ef9c744b9794e8d0a1cafea3f1b7f9ef
 		9.5千字节 预览 下载
md5:d6fa2a5800927f7b1e266c95c559ef01
 		889字节 下载
md5:72523188e0634a523e7f90e7988e90c7
 		2.1千字节 下载

其他详细信息

相关工程

是对的补充
期刊文章：10.1145/3607832（内政部）

基金

可靠分布式系统的会话类型（STARDUST）EP/T014628/1
英国研究与创新