Tag: programming-language-theory

Includes: programming-language-theory (what?)

Tag used 6 times by 1 members.

Most often tagged | Weighted | Popular recently | Published recently — Filter: None (edit)

Most often tagged programming-language-theory

1–6 of 6

titles | shelf | covers

Lambda-Calculus and Combinators: An Introduction by J. Roger Hindley (1 times)
Design Concepts in Programming Languages by Franklyn A. Turbak (1 times)
Basic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science) by J. Roger Hindley (1 times)
Semantics with Applications: An Appetizer (Undergraduate Topics in Computer Science) by Hanne Riis Nielson (1 times)
Advanced Topics in Types and Programming Languages by Benjamin C. Pierce (1 times)
Types and Programming Languages by Benjamin C. Pierce (1 times)

Using the tag programming-language-theory

Recently tagged programming-language-theory

Google Books Ngram Viewer: programming-language-theory

Data from Books Ngram Viewer

Tag translation: programming-language-theory

LibraryThing members can help translate tags into the languages of all LibraryThing sites. Read more about it here. Review member translations here.

(show numbers)
Related tags

Loading...

Related subjects

Programming languages (Electronic computers) (4)

(show all subjects)

Related tagmashes

computer science, mathematics (2)

cs, mathematics (2)

computer science, logic (1)

functional programming, lambda calculus (1)

functional, programming (1)

grad school, mathematics (1)

haskell, programming (1)

languages, programming (1)

life changing, mathematics (1)

life changing, non-fiction (1)

logic, type theory (1)

programming, reading (1)

Help/FAQs | About | Privacy/Terms | Blog | Contact | APIs | WikiThing | Common Knowledge | Legacy Libraries | 81,880,887 books!

Copyright LibraryThing and/or members of LibraryThing, authors, publishers, libraries, cover designers, Amazon, Bol, Bruna, etc. | static: /