TE
科技回声
首页
24小时热榜
最新
最佳
问答
展示
工作
中文
GitHub
Twitter
返回个人资料
mlitchard 的提交内容
1
Applicative Programming with Effects [pdf]
2 点
作者
mlitchard
将近 10 年前
暂无评论
2
Monoids. Themes and Variations (2012) [pdf]
3 点
作者
mlitchard
将近 10 年前
暂无评论
3
Lightweight Dependent-type Programming (2008)
23 点
作者
mlitchard
将近 10 年前
暂无评论
4
Propositions as Types [pdf]
7 点
作者
mlitchard
将近 10 年前
暂无评论
5
Benjamin Pierce – Software Foundations
6 点
作者
mlitchard
将近 10 年前
2 条评论
6
Denotational Design with Type Class Morphisms (2009) [pdf]
7 点
作者
mlitchard
将近 10 年前
暂无评论
7
How enterprises use functional languages, and why they don’t [pdf]
8 点
作者
mlitchard
将近 10 年前
1 comment
8
No One Expects the Scott Induction (2010)
3 点
作者
mlitchard
将近 10 年前
暂无评论
9
Design Patterns in Haskell
16 点
作者
mlitchard
将近 10 年前
1 comment
10
Dynamic Languages Are Static Languages (2011)
23 点
作者
mlitchard
将近 10 年前
66 条评论
← 上一页
下一页 →