plt

伊稀
来自: 伊稀 (宁波) 2021-08-09 11:06:18创建   2021-08-09 11:30:58更新
1 人关注
全部(23)
来自：豆瓣读书
Structure and Interpretation of Computer Programs - 2nd Edition (MIT)
9.6 (777人评价)
作者: Harold Abelson / Gerald Jay Sussman / Julie Sussman
出版社: The MIT Press
出版年: 1996-7-25
回复
来自：豆瓣读书
From Mathematics to Generic Programming
8.2 (29人评价)
作者: Alexander Stepanov / Daniel Rose
出版社: Addison-Wesley Professional
出版年: 2011-9-13
回复
来自：豆瓣读书
Type-driven Development with Idris
9.7 (14人评价)
作者: Edwin Brady
出版社: Manning Publications
出版年: 2017-3-31
回复
来自：豆瓣读书
PROGRAM = PROOF
(2人评价)
作者: Samuel Mimram
出版社: Independently published
出版年: 2020-7-3
回复
来自：豆瓣读书
Verified Functional Programming in Agda
(2人评价)
作者: Aaron Stump
出版年: 2016-2-1
回复
来自：豆瓣读书
The Little Typer
9.9 (38人评价)
作者: Daniel P. Friedman / David Thrane Christiansen / Duane Bibby / Robert Harper / Conor Mcbride
出版社: MIT Press
出版年: 2018-10-16
回复
来自：豆瓣读书
Practical Foundations for Programming Languages
(8人评价)
作者: Robert Harper
出版社: Cambridge University Press
出版年: 2016-4-4
回复
来自：豆瓣读书
Type Theory and Formal Proof
9.0 (18人评价)
作者: Rob Nederpelt / Herman Geuvers
出版社: Cambridge University Press
出版年: 2014-10-31
回复
来自：豆瓣读书
Introduction to Lambda Calculus
(1人评价)
作者: Henk Barendregt / Erik Barendsen
出版年: 1998
回复
来自：豆瓣读书
Lambda Calculus with Types
(1人评价)
作者: Henk Barendregt / Wil Dekkers / Richard Statman
出版社: Cambridge University Press
出版年: 2013-7-31
回复
来自：豆瓣读书
Lambda-Calculus and Combinators
9.2 (16人评价)
作者: J. Roger Hindley / Jonathan P. Seldin
出版社: Cambridge University Press
出版年: 2008-8-11
回复
来自：豆瓣读书
Advanced Topics in Types and Programming Languages
(9人评价)
作者: Pierce, Benjamin C. 编
出版社: The MIT Press
出版年: 2004-12-23
回复
来自：豆瓣读书
Basic Simple Type Theory
(2人评价)
作者: J. Roger Hindley
出版社: Cambridge University Press
出版年: 2008-01-21
回复
来自：豆瓣读书
Types and Programming Languages
9.0 (105人评价)
作者: Benjamin C. Pierce
出版社: The MIT Press
出版年: 2002-2-1
回复
来自：豆瓣读书
Real World OCaml
(4人评价)
作者: 亚龙•闵斯基 (Yaron Minsky) / 安尼尔•麦哈瓦佩迪 (Anil Madhavapeddy) / 詹森•希基 (Jason Hickey)
出版社: 中国电力出版社
出版年: 2015-8-1
回复
来自：豆瓣读书
Real World Haskell
8.5 (211人评价)
作者: Bryan O'Sullivan / John Goerzen / Don Stewart
出版社: O'Reilly Media
出版年: 2008-12-01
回复
来自：豆瓣读书
Purely Functional Data Structures
9.3 (40人评价)
作者: Chris Okasaki
出版社: Cambridge University Press
出版年: 1999-6-13
回复
来自：豆瓣读书
Compiler Construction
(8人评价)
作者: Niklaus Wirth
出版社: Addison-Wesley Pub (Sd)
出版年: 1996-6
回复
来自：豆瓣读书
Essentials of Programming Languages, 3rd Edition
9.4 (94人评价)
作者: Daniel P. Friedman / Mitchell Wand
出版社: The MIT Press
出版年: 2008-04-30
回复
来自：豆瓣读书
Homotopy Type Theory
8.1 (24人评价)
作者: Univalent Foundations Program
出版年: 2014-6-3
回复
来自：豆瓣读书
Axiomatic Set Theory
(4人评价)
作者: Patrick Suppes
出版社: Dover Publications
出版年: 1972-06-01
回复
来自：豆瓣读书
Mathematical Logic
9.1 (39人评价)
作者: H.-D. Ebbinghaus / J. Flum / W. Thomas
出版社: Springer
出版年: 1996-11-15
回复
来自：豆瓣读书
An Introduction to Functional Programming Through Lambda Calculus
9.1 (29人评价)
作者: Greg Michaelson
出版社: Dover Publications
出版年: 2011-8-18
回复

什么是书单  · · · · · ·

书单是收集图书的工具，创建书单后，在豆瓣看到符合书单主题的图书时可以将它放入书单，方便以后找到。

你还可以看看其他人的收集，关注你感兴趣的书单。

这个书单的标签  · · · · · ·

伊稀的其它豆列  · · · · · ·  ( 全部 )