Types and Programming Languages
hypernym: Book
isbn: 978
type: Thing
publication date: 2002-02-01
description: livre de Benjamin C. Pierce @fr
description: boek van Benjamin C. Pierce @nl
publisher: MIT Press
type: Book
description: book by Benjamin C. Pierce
description: libro de Benjamin C. Pierce @es
type: CreativeWork
author: Benjamin C. Pierce
type: Work
pub date: 2002-02-01
subject: Category:Computer science books
subject: Type Systems
language: English
genre: Computing
description: книга @uk
type: Q386724
isbn: 978-0262162098
type: Q571
type: WrittenWork
type: Q234460
description: Buch von Benjamin C. Pierce @de