Programming languages theory

ItTrivial
来自: ItTrivial (杭州) 2019-08-09 13:38:18创建   2019-09-21 08:40:05更新
13 人关注
全部(48)
来自：豆瓣读书
计算系统的形式语义
(7人评价)
作者: 陆汝钤
出版社: 清华大学出版社
出版年: 2017-1-1
回复
来自：豆瓣读书
Compiling with Continuations
(6人评价)
作者: Andrew W. Appel
出版社: Cambridge University Press
出版年: 2007-2-12
回复
来自：豆瓣读书
The Implementation of Functional Programming Languages
9.4 (24人评价)
作者: Simon L. Peyton Jones
出版社: Prentice Hall
出版年: 1987-5
回复
来自：豆瓣读书
Programming and Meta-Programming in Scheme
(1人评价)
作者: Jon Pearce
出版社: Springer
出版年: 1997-12-12
回复
来自：豆瓣读书
The Algebra of Programming
(5人评价)
作者: Richard Bird / Oege de Moor
出版社: Prentice Hall
出版年: 1997-9-26
回复
来自：豆瓣读书
Real World OCaml
9.4 (65人评价)
作者: Jason Hickey / Anil Madhavapeddy / Yaron Minsky
出版社: O'Reilly Media
出版年: 2013-3-22
回复
来自：豆瓣读书
The Little Schemer (4/e)
9.3 (597人评价)
作者: Daniel P. Friedman / Matthias Felleisen
出版社: The MIT Press
出版年: 1995-12-21
回复
来自：豆瓣读书
The Seasoned Schemer
9.1 (83人评价)
作者: Daniel P. Friedman / Matthias Felleisen
出版社: The MIT Press
出版年: 1995-12-21
回复
来自：豆瓣读书
The Little MLer
8.5 (36人评价)
作者: Matthias Felleisen / Daniel P. Friedman / Duane Bibby / Robin Milner
出版社: The MIT Press
出版年: 1998-2-19
回复
来自：豆瓣读书
How to Design Programs
9.0 (150人评价)
作者: Matthias Felleisen / Robert Bruce Findler / Matthew Flatt / Shriram Krishnamurthi
出版社: The MIT Press
出版年: 2001-2-12
回复
来自：豆瓣读书
The Haskell Road to Logic, Maths and Programming. Second Edition
(14人评价)
作者: Kees Doets / Jan van Eijck
出版社: College Publications
出版年: 2004-5-7
回复
来自：豆瓣读书
Topoi
(6人评价)
作者: Robert Goldblatt
出版社: Dover Publications
出版年: 2006-4-28
回复
来自：豆瓣读书
A Theory of Objects
(0人评价)
作者: Martin Abadi / Luca Cardelli
出版社: Springer Verlag
出版年: 1998-04-23
回复
来自：豆瓣读书
Abstract Computing Machines
(2人评价)
作者: Werner Kluge
出版社: Springer
出版年: 2005-2-18
回复
来自：豆瓣读书
Call-By-Push-Value
(0人评价)
作者: P.B. Levy
出版社: Springer
出版年: 2012-9-27
回复
来自：豆瓣读书
Lambda-calculus, Combinators and Functional Programming
(0人评价)
作者: G. E. Revesz
出版社: Cambridge University Press
出版年: 1988-4-29
回复
来自：豆瓣读书
Foundations for Programming Languages
(6人评价)
作者: John C. Mitchell
出版社: The MIT Press
出版年: 1996-9-1
回复
来自：豆瓣读书
Concrete Semantics
(6人评价)
作者: Tobias Nipkow / Gerwin Klein
出版社: Springer
出版年: 2014-12-3
回复
来自：豆瓣读书
Denotational Semantics
(2人评价)
作者: Joseph E. Stoy
出版社: The MIT Press
出版年: 1981-9-30
回复
来自：豆瓣读书
Algebraic Approaches to Program Semantics
(0人评价)
作者: Ernest G. Manes / Michael A. Arbib
出版社: Springer
出版年: 1986-9-10
回复
来自：豆瓣读书
Semantics with Applications
(4人评价)
作者: Hanne Riis Nielson / Flemming Nielson
出版社: Springer
出版年: 2007-03-28
回复
来自：豆瓣读书
Semantics Engineering with PLT Redex
(4人评价)
作者: Matthias Felleisen / Robert Bruce Findler / Matthew Flatt
出版社: The MIT Press
出版年: 2009-08
回复
来自：豆瓣读书
Semantics of Programming Languages
(0人评价)
作者: Carl A. Gunter
出版社: The MIT Press
出版年: 1992-09-14
回复
来自：豆瓣读书
Proofs and Types
(5人评价)
作者: Jean-Yves Girard / Yves Lafont / Paul Taylor
出版社: Cambridge University Press
出版年: 1989-4-28
回复
来自：豆瓣读书
Lectures on the Curry-Howard Isomorphism, Volume 149
(6人评价)
作者: Morten Heine Sørensen M.Sc Ph.D / Pawel Urzyczyn prof. dr hab.
出版社: Elsevier Science
出版年: 2006-9-28
回复
<前页 1 2 后页>

什么是书单  · · · · · ·

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

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

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

ItTrivial的其它豆列  · · · · · ·  ( 全部 )