文件名称：modules-papers:模块论文集
文件大小：25.14MB
文件格式：ZIP
更新时间：2024-06-19 23:11:21
modules type-theory papers programming-language-theory
标题 作者 日期 斯特林，哈珀 论文草稿，2020 年 7 月 呐喊 函数式编程杂志，2020 年出版 呐喊 POPL 2019 舍普 2018年 呐喊 POPL 2017 舍普 个人发展计划 17 罗斯伯格 2016 年瓦德勒节 罗斯伯格 提交给 JFP 2016 罗斯伯格、鲁索、德雷尔 TLDI 2010 拉贝，舒尔曼 LFMT '09 德雷尔，罗斯伯格 ICFP 2008 德雷尔、哈珀、查克拉瓦蒂、凯勒 POPL 2007 德雷尔 ICFP 2007 欧文斯，弗拉特 ICFP 2006 拉姆齐 2006年 维尔 硕士论文, 2005 递归类型生成 德雷尔 JFP 2007，之前在 ICFP 2005 理解和发展机器学习模块系统 德雷尔 博士论文, 2005 System Fω 和 Haskell 中的高阶模块 单 2004年 高阶模块的类型系统 德雷尔，克雷里，哈珀 POPL
【文件预览】：
modules-papers-master
----pdfs()
--------mapp.pdf(356KB)
--------xleroy-modular_modules-jfp.pdf(273KB)
--------harper94.pdf(1.32MB)
--------dreyer-thesis.pdf(1.26MB)
--------Types-for-Modules-Thesis.pdf(2.24MB)
--------modules_tr.pdf(1.05MB)
--------ramsey06.pdf(433KB)
--------crary99.pdf(1.41MB)
--------macqueen86.pdf(1.31MB)
--------mod.pdf(231KB)
--------mitchell88.pdf(2.41MB)
--------owens06.pdf(238KB)
--------schoepp17.pdf(2.11MB)
--------famc.pdf(365KB)
--------f-ing.pdf(264KB)
--------dreyer-rtg.pdf(273KB)
--------dreyer07.pdf(270KB)
--------harper-stone-short.pdf(420KB)
--------mixml-long.pdf(319KB)
--------1ml-effects.pdf(433KB)
--------10.1.1.79.2307.pdf(266KB)
--------main-long.pdf(230KB)
--------harper-stone-long.pdf(586KB)
--------flatt98.pdf(1.47MB)
--------dreyer03.pdf(185KB)
--------russo01.pdf(214KB)
--------russo99.pdf(224KB)
--------Wehr_ML_modules_and_Haskell_type_classes.pdf(1.08MB)
--------harper-mm-90.pdf(1.2MB)
--------lrat.pdf(1005KB)
--------xlate.pdf(216KB)
--------1ml-jfp-draft.pdf(400KB)
--------exsig.pdf(372KB)
--------leroy94.pdf(1.43MB)
--------harper93.pdf(2.55MB)
--------leroy95.pdf(198KB)
----README.md(4KB)