• 设为首页
  • 点击收藏
  • 手机版
    手机扫一扫访问
    迪恩网络手机版
  • 关注官方公众号
    微信扫一扫关注
    迪恩网络公众号
登陆 注册
描述文字

saurabhkukade/Haskell_Study: Collections of papers and books about Haskell, Type ...

原作者: [db:作者] 来自: 网络 收藏 邀请

开源软件名称（OpenSource Name）：

saurabhkukade/Haskell_Study

开源软件地址(OpenSource Url)：

https://github.com/saurabhkukade/Haskell_Study

开源编程语言(OpenSource Language)：


开源软件介绍(OpenSource Introduction)：

Some collection of recommonded paper and books about Haskell, Type Theory and Category Theory

Papers

Paper Title Author
Monads for Functional Programming Philip Wadler
Notions of computation and monads Eugenio Moggi
Stream Fusion. From Lists to Streams to Nothing at All (2007) Duncan Coutts , Roman Leshchinskiy , Don Stewart
Composable Memory Transactions Simon Peyton Jones
Towards Haskell in the Cloud Jeff Epstein, Andrew Black, and Simon Peyton Jone
Henk: a typed intermediate language & Tutorial introduction to the lambda cube E Meijer, Simon Peyton Jones
Why Functional Programming Matters John Hughes
Functional Programming with Overloading and Higher-Order Polymorphism Mark P Jones
Generalising Monads to Arrows John Hughes
Composing monads Mark P. Jones, Luc Duponcheel
QuickCheck: A Lightweight Tool for Random Testing of Haskell John Hughes

Books

Book Name Author
Types & Programming Languages Benjamin C. Pierce
Category Theory for Computer Scientists Michel Barr & Charles Wells
Category Theory for Programmers Bartosz Milewski
Category Theory for Scientists (draft version) David Spivak
Seven Sketches in Compositionality David Spivak
Categories for the Working Mathematician Saunders Mac Lane
Conceptual Mathematics: A First Introduction to Categories Stephen Schanuel and William Lawvere

Technical Essays and Articles

Title Author
Communicating Haskell Processes tutorial Neil C. C. Brown
The Expression Problem Philip Wadler



鲜花
握手
雷人
路过
鸡蛋
该文章已有0人参与评论

请发表评论

全部评论

专题导读
More+
上一篇：
snoyberg/yaml: Support for serialising Haskell to and from Yaml.发布时间：2022-06-22
下一篇：
deech/fltkhs: Haskell bindings to FLTK GUI toolkit.发布时间：2022-06-22
热门推荐
More+
热门话题
More+
阅读排行榜

扫描微信二维码

查看手机版网站

随时了解更新最新资讯

139-2527-9053

在线客服（服务时间 9:00～18:00）

在线QQ客服
地址：深圳市南山区西丽大学城创智工业园
电邮：jeky_zhao#qq.com
移动电话：139-2527-9053

Powered by 互联科技 X3.4© 2001-2213 极客世界.|Sitemap