• Home
  • My Books
  • Browse ▾
    • Recommendations
    • Choice Awards
    • Genres
    • Giveaways
    • New Releases
    • Lists
    • Explore
    • News & Interviews
    Genres
    • Art
    • Biography
    • Business
    • Children's
    • Christian
    • Classics
    • Comics
    • Cookbooks
    • Ebooks
    • Fantasy
    • Fiction
    • Graphic Novels
    • Historical Fiction
    • History
    • Horror
    • Memoir
    • Music
    • Mystery
    • Nonfiction
    • Poetry
    • Psychology
    • Romance
    • Science
    • Science Fiction
    • Self Help
    • Sports
    • Thriller
    • Travel
    • Young Adult
    • More Genres
  • Community ▾
    • Groups
    • Quotes
    • Ask the Author
  • Sign In
  • Join
Sign up
View profile
  • Profile
  • Friends
  • Groups
  • Discussions
  • Comments
  • Reading Challenge
  • Kindle Notes & Highlights
  • Quotes
  • Favorite genres
  • Friends’ recommendations
  • Account settings
  • Help
  • Sign out
  • Home
  • My Books
  • Browse ▾
    • Recommendations
    • Choice Awards
    • Genres
    • Giveaways
    • New Releases
    • Lists
    • Explore
    • News & Interviews
    Genres
    • Art
    • Biography
    • Business
    • Children's
    • Christian
    • Classics
    • Comics
    • Cookbooks
    • Ebooks
    • Fantasy
    • Fiction
    • Graphic Novels
    • Historical Fiction
    • History
    • Horror
    • Memoir
    • Music
    • Mystery
    • Nonfiction
    • Poetry
    • Psychology
    • Romance
    • Science
    • Science Fiction
    • Self Help
    • Sports
    • Thriller
    • Travel
    • Young Adult
    • More Genres
  • Community ▾
    • Groups
    • Quotes
    • Ask the Author
Practical Foundations for Programming Languages

Practical Foundations for Programming Languages > Lists

by
Robert Harper


Designing Data-Intensive Applications by Martin KleppmannDeep Learning by Ian GoodfellowAlgorithms to Live By by Brian  ChristianThe Clean Coder by Robert C. MartinAn Introduction to Statistical Learning by Gareth James
Computer Science Books of the 2010s and 2020s
191st out of 227 books — 34 voters
The C Programming Language by Brian W. KernighanIntroduction to the Theory of Computation by Michael SipserGödel, Escher, Bach by Douglas R. HofstadterBook of Proof by Richard HammackIntroduction to Systems Software by Dhananjay M. Dhamdhere
Computer Science essentials
15th out of 17 books — 2 voters

The Science of Logic by Georg Wilhelm Friedrich HegelIntelligence and Spirit by Reza NegarestaniThe Blind Spot by Jean-Yves GirardLogical Investigations, Volume 1 by Edmund HusserlThe Opening of Hegel's Logic by Stephen Houlgate
Speculative Reason
41st out of 93 books — 6 voters
Pleromatica, or Elsinore's Trance by Gabriel CatrenRécoltes et semailles by Alexandre GrothendieckThe Science of Logic by Georg Wilhelm Friedrich HegelThe Blind Spot by Jean-Yves GirardIdeas by Edmund Husserl
Speculative World-System
33rd out of 100 books — 1 voter


  • Create New List
  • All Lists
  • Lists I Created
  • Lists I've Voted On
  • Lists I've Liked
Listopia Home


Company

  • About us
  • Careers
  • Terms
  • Privacy
  • Interest Based Ads
  • Ad Preferences
  • Help

Work with us

  • Authors
  • Advertise
  • Authors & ads blog

Connect

Goodreads on Facebook Goodreads on Twitter
Goodreads on Instagram Goodreads on LinkedIn
Download app for iOS Download app for Android
  • © 2026 Goodreads LLC
  • Mobile version

Welcome back. Just a moment while we sign you in to your Goodreads account.

Login animation