close

Topic

Created by mwcl_wikipedia_en on 12/14/2007

Types and Programming Languages ^en

mid: /m/03c19nb notable type: /book/book notable for: /book/book on the web: wikipedia.org

Types and Programming Languages, ISBN 0-262-16209-1, 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." Wikipedia [ - ]

Add type

Metaweb System Types

Object

Common

Topic

Books

Book

Freebase

Object profile

Media

Written Work

Computer Science

topic

Software Engineering

Topic

Object is not asserted on this topic.

ID /type/object/id

-

GUID /type/object/guid

#9202a8c04000641f8000000006b0a68a

Type /type/object/type

Name /type/object/name

- - Edit
  - Delete
Types and Programming Languages

Key /type/object/key

Timestamp /type/object/timestamp

Friday, December 14, 2007 11:15 AM

Permission /type/object/permission

/boot/all_permission

Creator /type/object/creator

mwcl_wikipedia_en

Attribution /type/object/attribution

Freebase Data Team

Search /type/object/search

-

Machine ID /type/object/mid

/m/03c19nb

Also known as /common/topic/alias

-

Description /common/topic/description

- - Edit
  - Delete
Types and Programming Languages, ISBN 0-262-16209-1, 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." Wikipedia

Image /common/topic/image

-

Official website /common/topic/official_website

- - Edit
  - Delete
http://www.cis.upenn.edu/~bcpierce/tapl/

Topic equivalent webpage /common/topic/topic_equivalent_webpage

Social media presence /common/topic/social_media_presence

-

Topical webpage /common/topic/topical_webpage

- - Edit
  - Delete
http://mitpress.mit.edu/catalog/item/default.asp?ttype=2&tid=8738

Subjects /common/topic/subjects

-

Subject of /common/topic/subject_of

-

Web Link(s) (deprecated) /common/topic/webpage

-

Properties /common/topic/properties

-

Article /common/topic/article

Types and Programming Languages, ISBN 0-262-16209-1, (TaPL) is a book by Benjamin C. Pierce on...

Weblink /common/topic/weblink

-

Notable for /common/topic/notable_for

Book

Notable types /common/topic/notable_types

Book

Editions /book/book/editions

Types and Programming Languages

Genre /book/book/genre

-

Characters /book/book/characters

-

Interior illustrations by /book/book/interior_illustrations_by

-

First edition /book/book/first_edition

-

Object profile is not asserted on this topic. Assert type now.

Object generation time /freebase/object_profile/object_generation_time

- - Edit
  - Delete
Wednesday, June 19, 2013 7:15 AM

Link count /freebase/object_profile/link_count

-

Author /book/written_work/author

Benjamin C. Pierce

Editor /book/written_work/editor

-

Date written /book/written_work/date_written

-

Copyright date /book/written_work/copyright_date

- - Edit
  - Delete
2002

Date of first publication /book/written_work/date_of_first_publication

-

Subjects /book/written_work/subjects

Original language /book/written_work/original_language

English Language

Online versions /book/written_work/online_versions

-

School or Movement /book/written_work/school_or_movement

-

Part of series /book/written_work/part_of_series

-

Previous in series /book/written_work/previous_in_series

-

Next in series /book/written_work/next_in_series

-

ISFDB ID /book/written_work/isfdb_id

-

Translations /book/written_work/translations

-

Comments

Hide