开发工具:
文件大小: 4kb
下载次数: 0
上传时间: 2021-02-18
详细说明：在Liquid Haskell中使用类型类细化来验证复制的数据类型
刘以云，詹姆斯·帕克，帕特里克·雷德蒙德，林赛·库珀，迈克尔·希克斯，尼基·瓦祖
概述
这是用于来的构件。 我们提供了一个Dockerfile可用于运行和基准测试样张，以及例子VRDT应用。
建造
首先，克隆仓库：
git clone --recursive https://github.com/plum-umd/oopsla2020-artifact
然后使用以下命令构建docker映像：
docker build --no-cache -t liquid-typeclasses .
这将需要一段时间才能完成。
在哪里找到证明
液基
班级
包含Functor ， Applicative和Monad类定义及其经过验证的版本。
包含Semigroup和Monoid 。
请注意，lambda在改进中没有解释。 为了避免
(系统自动生成,下载前可以参看下载内容)
下载文件列表
相关说明
- 本站资源为会员上传分享交流与学习,如有侵犯您的权益,请联系我们删除.
- 本站是交换下载平台，提供交流渠道，下载内容来自于网络，除下载问题外，其它问题请自行百度。
- 本站已设置防盗链，请勿用迅雷、QQ旋风等多线程下载软件下载资源，下载后用WinRAR最新版进行解压.
- 如果您发现内容无法下载，请稍后再次尝试；或者到消费记录里找到下载记录反馈给我们.
- 下载后发现下载的内容跟说明不相乎，请到消费记录里找到下载记录反馈给我们，经确认后退回积分.
- 如下载前有疑问，可以通过点击"提供者"的名字，查看对方的联系方式，联系对方咨询.
