Types and Programming Languages

Embed this Topic
Types and Programming Languages, ISBN 0-262-16209-1, (TaPL) is a book by Benjamin C. Pierce on type systems. A review by Frank Pfenning called it "probably the single most important book in the area of programming languages in recent years."
Read article at Wikipedia

Author:

Editions:

Publishing

Author

Benjamin C. Pierce

Benjamin C. Pierce is an American professor of computer science at the University of Pennsylvania. Dr. Pierce joined Penn in 1998 from Indiana University and held research positions at the University of Cambridge and the University of Edinburgh. He received his Ph.D. from Carnegie Mellon University...

Copyright date:

  • 2002

Subjects:

View Subjects written about in Types and Programming Languages »

Original language:

top ↑

These people have edited this topic:

  • vtalwar Metaweb Staff
  • esplana Metaweb Staff
Edit this topic
Edit and Show details

Add or delete facts, download data in JSON or RDF formats, and explore topic metadata.

Freebase Logo
What is Freebase?

Freebase is a huge collection of facts, built by people like you. Freebase connects facts in ways other sites can't, giving you new ways to explore millions of subjects.
You can help improve it!

Freebase Attribution

Freebase data is free for use under the CC-BY license.

The original description for Types and Programming Languages was automatically generated from Wikipedia.org licensed under the GNU Free Documentation License.
[1]
Learn more about Freebase licensing and attribution