Coverart for item
The Resource Advanced topics in types and programming languages, Benjamin C. Pierce, editor, (electronic resource)

Advanced topics in types and programming languages, Benjamin C. Pierce, editor, (electronic resource)

Label
Advanced topics in types and programming languages
Title
Advanced topics in types and programming languages
Statement of responsibility
Benjamin C. Pierce, editor
Contributor
Subject
Genre
Language
eng
Cataloging source
N$T
Dewey number
005.13
Illustrations
illustrations
Index
index present
LC call number
QA76.7
LC item number
.A36 2005eb
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorName
  • Pierce, Benjamin C
  • NetLibrary, Inc
http://library.link/vocab/subjectName
Programming languages (Electronic computers)
Label
Advanced topics in types and programming languages, Benjamin C. Pierce, editor, (electronic resource)
Instantiates
Publication
Antecedent source
unknown
Bibliography note
Includes bibliographical references (pages [535]-565) and index
Carrier category
online resource
Carrier category code
cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Contents
Substructural type systems / David Walker -- Dependent types / David Aspinall and Martin Hofmann -- Effect types and region-based memory management / Fritz Henglein, Henning Makholm, and Henning Niss -- Typed assembly language / Greg Morrisett -- Proof-carrying code / George Necula -- Logical relations and a case study in equivalence checking / Karl Crary -- Typed operational reasoning / Andrew Pitts -- Design considerations for ML-style module systems / Robert Harper and Benjamin C. Pierce -- Type definitions / Christopher A. Stone -- The essence of ML type inference / François Pottier and Didier Rémy
Control code
62098412 umslnl1
Dimensions
24 cm
Dimensions
unknown
Extent
xiii, 574 pages
File format
unknown
Form of item
electronic
Isbn
9781423729846
Isbn Type
(electronic bk.)
Level of compression
unknown
Media category
computer
Media MARC source
rdamedia
Media type code
c
Other physical details
illustrations
Quality assurance targets
not applicable
Reformatting quality
unknown
Reproduction note
Electronic reproduction.
Sound
unknown sound
Specific material designation
remote
Label
Advanced topics in types and programming languages, Benjamin C. Pierce, editor, (electronic resource)
Publication
Antecedent source
unknown
Bibliography note
Includes bibliographical references (pages [535]-565) and index
Carrier category
online resource
Carrier category code
cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Contents
Substructural type systems / David Walker -- Dependent types / David Aspinall and Martin Hofmann -- Effect types and region-based memory management / Fritz Henglein, Henning Makholm, and Henning Niss -- Typed assembly language / Greg Morrisett -- Proof-carrying code / George Necula -- Logical relations and a case study in equivalence checking / Karl Crary -- Typed operational reasoning / Andrew Pitts -- Design considerations for ML-style module systems / Robert Harper and Benjamin C. Pierce -- Type definitions / Christopher A. Stone -- The essence of ML type inference / François Pottier and Didier Rémy
Control code
62098412 umslnl1
Dimensions
24 cm
Dimensions
unknown
Extent
xiii, 574 pages
File format
unknown
Form of item
electronic
Isbn
9781423729846
Isbn Type
(electronic bk.)
Level of compression
unknown
Media category
computer
Media MARC source
rdamedia
Media type code
c
Other physical details
illustrations
Quality assurance targets
not applicable
Reformatting quality
unknown
Reproduction note
Electronic reproduction.
Sound
unknown sound
Specific material designation
remote

Library Locations

    • Thomas Jefferson LibraryBorrow it
      1 University Blvd, St. Louis, MO, 63121, US
      38.710138 -90.311107
Processing Feedback ...