It looks like you're offline.
Donate
Change Website Language
Open Library logo
additional options menu
Last edited by MARC Bot
September 30, 2020 | History
Edit

Benjamin C. Pierce

1963 -

American professor of computer science

4 works Add another?

Sorting by Sorted by: Most Editions | First Published | Most Recent | Top Rated | Reading Log | Random

Showing all works by author. Would you like to see only ebooks?

  • Cover of: Advanced Topics in Types and Programming Languages

    First published in 2004 1 edition in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Basic category theory for computer scientists

    First published in 1991 1 edition in 1 language — 1 previewable
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Statically typed friendly functions via partially abstract types

    First published in 1993 1 edition in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Types and Programming Languages

    First published in 2002 1 edition in 1 language — 1 previewable
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
Photo of Benjamin C. Pierce
Subjects
005.13, 511.3, COMPUTERS, Categories (Mathematics), Categories (mathematics), Computer science, Computer science--mathematics, General, Langages de programmation, Linguagem de programação (textos avançados), Mathematics, Programmeertalen, Programming Languages, Programming languages (Electronic computers), Programming languages (electronic computers), Qa76.7 .p54 2002, Qa76.9.m35 p54 1991, Type theory

Lists

Add to List

My Reading Lists:

Create a new list

ID Numbers

Links (outside Open Library)

Alternative names

  • Benjamin Crawford Pierce

History

Download catalog record: RDF / JSON
September 30, 2020 Edited by MARC Bot add ids
July 28, 2018 Edited by Gustav-Landauer-Bibliothek Witten Added new photo
July 28, 2018 Edited by Gustav-Landauer-Bibliothek Witten links, date of birth, bio, alternative name
August 24, 2008 Edited by RenameBot fix author name
April 1, 2008 Created by an anonymous user initial import