有关Haskell，类型理论和范畴理论的经重新推荐的论文和书籍的一些合集
文件
论文标题
作者
菲利普·沃德勒
欧金尼奥·莫吉（Eugenio Moggi）
邓肯·库茨（Duncan Coutts），罗曼·列申斯基（Roman Leshchinskiy），唐·斯图尔特（Don Stewart）
西蒙·佩顿·琼斯
杰夫·爱泼斯坦，安德鲁·布莱克和西蒙·佩顿·乔恩
E Meijer，西蒙·佩顿·琼斯
约翰·休斯
马克·P·琼斯
约翰·休斯
马克·P·琼斯（Mark P.
图书
书名
作者
本杰明·皮尔斯
米歇尔·巴尔（Michel Barr）和查尔斯·威尔斯（Charles Wells）
巴托斯·米列斯基（Bartosz Milewski）
大卫·斯皮瓦克（David Spivak）
大卫·斯皮瓦克（David Spivak）
桑德斯·麦克巷
斯蒂芬·夏奈尔（Stephen Sch
