没有合适的资源?快使用搜索试试~ 我知道了~
modules-papers:模块论文集
共37个文件
pdf:36个
md:1个
需积分: 5 0 下载量 56 浏览量
2021-05-31
05:24:41
上传
评论
收藏 25.14MB ZIP 举报
温馨提示
标题 作者 日期 斯特林,哈珀 论文草稿,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.zip (37个子文件)
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
共 37 条
- 1
yueyhangcheuk
- 粉丝: 27
- 资源: 4701
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
最新资源
- Pytorch-pytorch深度学习教程之逻辑回归.zip
- Pytorch-pytorch深度学习教程之双向循环网络.zip
- Pytorch-pytorch深度学习教程之卷积神经网络.zip
- Pytorch-pytorch深度学习教程之前馈神经网络.zip
- Pytorch-pytorch深度学习教程之线性回归.zip
- Pytorch-pytorch深度学习教程之基本操作.zip
- 基于QT的地图可视化桌面系统后台数据库为MySQL5.7源码.zip
- 基于simulink的PLL锁相环系统仿真【包括模型,文档,参考文献,操作步骤】
- 基于EM-GMM模型的目标跟踪和异常行为检测matlab仿真【包括程序,注释,参考文献,操作步骤,说明文档】
- 2109010044_胡晨燕_选课管理数据库设计与实现.prj
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功
评论0