Please sign in to WorldCat

Don't have an account? You can easily create a free account.

Home

WorldCat Home About WorldCat Help Get E-mail Updates Feedback WorldCat Blog

Search

Search for Library Items Search for Lists Search for Contacts Search for a Library

Create lists, bibliographies and reviews: or

Cite/Export

Cite/Export

Copy a citation

APA (5th ed.)

Chicago (Author-Date, 15th ed.)

Harvard (18th ed.)

MLA (6th ed.)

Turabian (6th ed.)

Export a citation
Export to RefWorks Export to EndNote Cancel
Note: Citations are based on reference standards. However, formatting rules can vary widely between applications and fields of interest or study. The specific requirements or preferences of your reviewing publisher, classroom teacher, institution or organization should be applied.
Print
E-mail

E-mail

All fields are required.

The E-mail Address(es) field is required. Please enter recipient e-mail address(es).

The E-mail Address(es) you entered is(are) not in a valid format. Please re-enter recipient e-mail address(es).

You may send this item to up to five recipients.
Enter recipient e-mail address(es): Separate up to five addresses with commas (,)
The name field is required. Please enter your name.
Enter your name:
Your e-mail address is required. Please enter your e-mail address.

Your e-mail address you entered is not in a valid format. Please re-enter your e-mail address.
Enter your e-mail address: Subject:
The E-mail message field is required. Please enter the message.
E-mail Message: I thought you might be interested in this item at http://www.worldcat.org/oclc/47705787 Title: Types and programming languages Author: Benjamin C Pierce Publisher: Cambridge, Mass. : MIT Press, 2002. ISBN/ISSN: 0262162091 9780262162098 OCLC:47705787

The ReCaptcha terms you entered were incorrect. Please try to match the 2 words shown in the window, or try the audio version.

Cancel
Share
Permalink

Permalink

Copy this URL to link to this page:

Write a review
Rate this item:
- 1
- 2
- 3
- 4
- 5

Preview this item

Types and programming languages

Author:	Benjamin C Pierce
Publisher:	Cambridge, Mass. : MIT Press, 2002.
Edition/Format:	Book : EnglishView all editions and formats
Rating:

Borrow / obtain a copy

Find a copy online

Links to this item

site.ebrary.com Available to Stanford-affiliated users at:

library.stanford.edu Available to Stanford-affiliated users at:

Find a copy in the library

Finding libraries that hold this item...

Details

Material Type:	Internet resource
Document Type:	Book, Internet Resource
All Authors / Contributors:	Benjamin C Pierce Find more information about:
ISBN:	0262162091 9780262162098
OCLC Number:	47705787
Description:	xxi, 623 p. : ill. ; 24 cm.
Contents:	1. Introduction -- 2. Mathematical preliminaries -- [pt]. 1. Untyped systems -- 3. Untyped arithmetic expressions -- 4. An ML implementation of arithmetic expressions -- 5. The untyped Lambda-calculus -- 6. Nameless representation of terms -- 7. An ML implementation of the Lambda-calculus -- [pt]. 2. Simple types -- 8. Typed arithmetic expressions -- 9. Simply typed Lambda-calculus -- 10. An ML implementation of simple types -- 11. Simple extensions -- 12. Normalization -- 13. References -- 14. Exceptions - [pt]. 3. Subtyping -- 15. Subtyping -- 16. Metatheory of subtyping -- 17. An ML implementation of subtyping -- 18. Case study : imperative objects -- 19. Case study : featherweight Java -- [pt]. 4. Recursive types -- 20. Recursive types -- 21. Metatheory of recursive types -- [pt.]. 5. Polymorphism -- 22. Type reconstruction -- 23. Universal types -- 24. Existential types -- 25. An ML implementation of system F -- 26. Bounded quantification -- 27. Case study : imperative objects, redux -- 28. Metatheory of bounded quantification -- [pt]. 6. Higher-order systems -- 29. Type operators and kinding -- 30. Higher-order polymorphism -- 31. Higher-order subtyping.
Responsibility:	Benjamin C. Pierce.

You:	Sign In \| Register \| My WorldCat \| My Lists \| My Watchlist \| My Reviews \| My Tags \| My Saved Searches
WorldCat:	Home \| About \| Help \| Get E-mail Updates \| Feedback \| Search \| WorldCat Blog

More like this

Subjects

Similar Items