seqmod:完全实现F-ing模块,并具有后续演算的功能-源码

VIP专享 2021-03-12 14:34:32 185KB ZIP
6
收藏 收藏
举报

seqmod 该存储库展示了F-ing模块的完整实现[Rossberg,Russo&Dreyer 2014]。 “满”是指: 将模块打包为一流核心价值的工具, (小说)抽象安全的应用函子,以及 价值和结构共享。 在此实现中,核心语言是极化系统L的直觉变体[Herbelin 2008; [Munch-Maccagnoni 2009],这是对后续演算LK的计算解释,假装具有Hindley-Milner类型规程的按名称调用的lambda演算。 通过使用极化的顺序演算,可以将热切的模块语言和惰性核心语言结合在一起。 入门 该程序在Standard ML '97中实现,但仅支持MLKit和MLton,因为其他SML实现不支持ML Basis系统。 先决条件: MLKit或MLton 用MLKit构建 $ make mlkit $ ./seqmod-mlkit 用MLton构建 $ mak

...展开详情
立即下载 身份认证后 购VIP低至7折
一个资源只可评论一次,评论内容不能少于5个字
您会向同学/朋友/同事推荐我们的CSDN下载吗?
谢谢参与!您的真实评价是我们改进的动力~
  • 至尊王者

关注 私信
上传资源赚钱or赚积分
最新推荐
seqmod:完全实现F-ing模块,并具有后续演算的功能-源码 (VIP专享) VIP下载
1/0