oopsla2020工件 源码

在Liquid Haskell中使用类型类细化来验证复制的数据类型 刘以云,詹姆斯·帕克,帕特里克·雷德蒙德,林赛·库珀,迈克尔·希克斯,尼基·瓦祖 概述 这是用于来的构件。 我们提供了一个Dockerfile可用于运行和基准测试样张,以及例子VRDT应用。 建造 首先,克隆仓库: git clone --recursive https://github.com/plum-umd/oopsla2020-artifact 然后使用以下命令构建docker映像: docker build --no-cache -t liquid-typeclasses . 这将需要一段时间才能完成。 在哪里找