Goodreads helps you keep track of books you want to read.
Start by marking “Advanced Topics in Types and Programming Languages” as Want to Read:
Advanced Topics in Types and Programming Languages
Enlarge cover
Rate this book
Clear rating
Open Preview

Advanced Topics in Types and Programming Languages

by
3.96  ·  Rating Details ·  26 Ratings  ·  2 Reviews
The study of type systems for programming languages now touches many areas of computer science, from language design and implementation to software engineering, network security, databases, and analysis of concurrent and distributed systems. This book offers accessible introductions to key ideas in the field, with contributions by experts on each topic.

The topics covered i
...more
Hardcover, 588 pages
Published December 23rd 2004 by Mit Press
More Details... edit details

Friend Reviews

To see what your friends thought of this book, please sign up.

Reader Q&A

Be the first to ask a question about Advanced Topics in Types and Programming Languages

This book is not yet featured on Listopia. Add this book to your favorite list »

Community Reviews

(showing 1-58)
filter  |  sort: default (?)  |  Rating Details
Josh
Jan 30, 2014 Josh marked it as to-read
Reading the ML type inference chapter now. Like TAPL, it's a little dense, and it includes coverage of features that I could do without (since I'm just trying to learn this stuff for the first time). I glanced ahead a bit and don't think they actually show the code. I'm certain it's online, at least. I'd like some lighter material on the subject,\ if anyone knows of any good sources. There is some more introductory type inference stuff in PLAI (http://www.cs.brown.edu/~sk/Publicati...), but once ...more
Alejandro
Alejandro rated it it was amazing
Sep 30, 2013
Max Taldykin
Max Taldykin rated it liked it
Jan 29, 2016
Graydon
Graydon rated it it was ok
Feb 07, 2012
Paul Butcher
Paul Butcher rated it really liked it
Jun 21, 2014
Kenneth Knowles
Kenneth Knowles rated it liked it
Jan 27, 2013
Cass
Cass rated it it was amazing
Nov 24, 2009
Vladimir
Vladimir rated it really liked it
Aug 26, 2014
Simon Jensen
Simon Jensen rated it really liked it
Jun 06, 2013
Rohan
Rohan rated it really liked it
Sep 01, 2013
John
John rated it really liked it
Aug 14, 2014
Adam Blinkinsop
Adam Blinkinsop rated it really liked it
Dec 15, 2015
Dwayne
Dwayne rated it really liked it
Sep 30, 2014
Rajesh
Rajesh rated it liked it
Sep 07, 2014
Twey
Twey rated it it was amazing
Jun 19, 2014
Gustavo Gonzalez
Gustavo Gonzalez rated it really liked it
Nov 07, 2014
Jakob Thomsen
Jakob Thomsen rated it really liked it
Mar 07, 2013
Alec
Alec rated it liked it
Mar 09, 2009
Stefan
Stefan rated it really liked it
Sep 18, 2016
Michael
Michael rated it it was amazing
Jan 30, 2009
Phil Calçado
Phil Calçado rated it really liked it
Jun 17, 2010
Landon Fuller
Landon Fuller rated it really liked it
Aug 27, 2015
Marvin
Marvin rated it liked it
Apr 25, 2011
Ismail Keskin
Ismail Keskin rated it it was amazing
Jun 17, 2015
Mike Aizatsky
Mike Aizatsky rated it it was amazing
Dec 13, 2014
Jens Hadlich
Jens Hadlich rated it really liked it
Nov 23, 2014
Giorgos
Giorgos rated it really liked it
Nov 22, 2012
Nick Black
hmmm, prices on this one have come way down! programming language theory people must be dying off.
notv
notv added it
Oct 20, 2007
Daniel
Daniel added it
Jan 31, 2013
Chris
Chris marked it as to-read
Jan 17, 2015
Joseph
Joseph added it
Jun 02, 2009
Dimitri Smolev
Dimitri Smolev marked it as to-read
Jan 07, 2010
Elron
Elron marked it as to-read
Jan 31, 2010
Alex Ott
Alex Ott marked it as to-read
May 15, 2010
RJ Ryan
RJ Ryan marked it as to-read
May 23, 2010
Joseph
Joseph added it
Aug 14, 2010
rev
rev marked it as to-read
Nov 15, 2010
Ivan Fedorov
Ivan Fedorov marked it as to-read
Mar 27, 2011
David Scarratt
David Scarratt marked it as to-read
Jul 26, 2011
David
David marked it as to-read
Aug 21, 2011
Anton
Anton marked it as to-read
Sep 30, 2011
Alexander Krasnukhin
Alexander Krasnukhin marked it as to-read
Oct 21, 2011
Peter
Peter marked it as to-read
Nov 27, 2011
Andy Legkiy
Andy Legkiy marked it as to-read
Dec 30, 2011
Alexander Korneev
Alexander Korneev marked it as to-read
Dec 30, 2011
Ola Bini
Ola Bini is currently reading it
Jan 04, 2012
Rajasekaran
Rajasekaran marked it as to-read
Jun 02, 2013
Thomas
Thomas marked it as to-read
Feb 04, 2012
V
V marked it as to-read
Mar 01, 2012
J
J added it
Apr 23, 2012
There are no discussion topics on this book yet. Be the first to start one »
  • The Reasoned Schemer
  • Pearls of Functional Algorithm Design
  • Elements of Programming
  • The Haskell Road to Logic, Maths and Programming. Second Edition
  • Purely Functional Data Structures
  • The Art of Multiprocessor Programming
  • Concepts, Techniques, and Models of Computer Programming
  • Real World Haskell: Code You Can Believe In
  • Introduction to Automata Theory, Languages, and Computation
  • Practical Common LISP
  • Categories for the Working Mathematician
  • Paradigms of Artificial Intelligence Programming: Case Studies in Common LISP
  • Real World OCaml: Functional programming for the masses
  • The Art of the Metaobject Protocol
  • Parallel and Concurrent Programming in Haskell: Techniques for Multicore and Multithreaded Programming
  • The Scheme Programming Language
  • Haskell: The Craft of Functional Programming
  • Let Over Lambda

Goodreads is hiring!

If you like books and love to build cool products, we may be looking for you.
Learn more »

Share This Book