1-20 of 29
Benjamin C. Pierce
Close
Save search
Follow your search
Access your saved searches in your account
Would you like to receive an alert when new items match your search?
Close Modal
Sort by
Book Chapter

Preface

By Benjamin C. Pierce
Publisher: The MIT Press
Published: 23 December 2004
DOI: 10.7551/mitpress/1104.003.0001
EISBN: 9780262281591
PDF
Book Chapter

Precise Type Analyses

By Benjamin C. Pierce
Publisher: The MIT Press
Published: 23 December 2004
DOI: 10.7551/mitpress/1104.003.0002
EISBN: 9780262281591
Book Chapter

Substructural Type Systems

By Benjamin C. Pierce
Publisher: The MIT Press
Published: 23 December 2004
DOI: 10.7551/mitpress/1104.003.0003
EISBN: 9780262281591
PDF
Book Chapter

Dependent Types

By Benjamin C. Pierce
Publisher: The MIT Press
Published: 23 December 2004
DOI: 10.7551/mitpress/1104.003.0004
EISBN: 9780262281591
PDF
Book Chapter

Effect Types and Region-Based Memory Management

By Benjamin C. Pierce
Publisher: The MIT Press
Published: 23 December 2004
DOI: 10.7551/mitpress/1104.003.0005
EISBN: 9780262281591
PDF
Book Chapter

Types for Low-Level Languages

By Benjamin C. Pierce
Publisher: The MIT Press
Published: 23 December 2004
DOI: 10.7551/mitpress/1104.003.0006
EISBN: 9780262281591
PDF
Book Chapter

Typed Assembly Language

By Benjamin C. Pierce
Publisher: The MIT Press
Published: 23 December 2004
DOI: 10.7551/mitpress/1104.003.0007
EISBN: 9780262281591
PDF
Book Chapter

Proof-Carrying Code

By Benjamin C. Pierce
Publisher: The MIT Press
Published: 23 December 2004
DOI: 10.7551/mitpress/1104.003.0008
EISBN: 9780262281591
PDF
Book Chapter

Types and Reasoning about Programs

By Benjamin C. Pierce
Publisher: The MIT Press
Published: 23 December 2004
DOI: 10.7551/mitpress/1104.003.0009
EISBN: 9780262281591
Book Chapter

Logical Relations and a Case Study in Equivalence Checking

By Benjamin C. Pierce
Publisher: The MIT Press
Published: 23 December 2004
DOI: 10.7551/mitpress/1104.003.0010
EISBN: 9780262281591
PDF
Book Chapter

Typed Operational Reasoning

By Benjamin C. Pierce
Publisher: The MIT Press
Published: 23 December 2004
DOI: 10.7551/mitpress/1104.003.0011
EISBN: 9780262281591
PDF
Book Chapter

Types for Programming in the Large

By Benjamin C. Pierce
Publisher: The MIT Press
Published: 23 December 2004
DOI: 10.7551/mitpress/1104.003.0012
EISBN: 9780262281591
Book Chapter

Design Considerations for ML-Style Module Systems

By Benjamin C. Pierce
Publisher: The MIT Press
Published: 23 December 2004
DOI: 10.7551/mitpress/1104.003.0013
EISBN: 9780262281591
PDF
Book Chapter

Type Definitions

By Benjamin C. Pierce
Publisher: The MIT Press
Published: 23 December 2004
DOI: 10.7551/mitpress/1104.003.0014
EISBN: 9780262281591
PDF
Book Chapter

Type Inference

By Benjamin C. Pierce
Publisher: The MIT Press
Published: 23 December 2004
DOI: 10.7551/mitpress/1104.003.0015
EISBN: 9780262281591
Book Chapter

The Essence of ML Type Inference

By Benjamin C. Pierce
Publisher: The MIT Press
Published: 23 December 2004
DOI: 10.7551/mitpress/1104.003.0016
EISBN: 9780262281591
PDF
Book Chapter

A Solutions to Selected Exercises

By Benjamin C. Pierce
Publisher: The MIT Press
Published: 23 December 2004
DOI: 10.7551/mitpress/1104.003.0017
EISBN: 9780262281591
PDF
Book Chapter

References

By Benjamin C. Pierce
Publisher: The MIT Press
Published: 23 December 2004
DOI: 10.7551/mitpress/1104.003.0018
EISBN: 9780262281591
PDF
Book Chapter

Index

By Benjamin C. Pierce
Publisher: The MIT Press
Published: 23 December 2004
DOI: 10.7551/mitpress/1104.003.0019
EISBN: 9780262281591
PDF
Book Chapter

Series Foreword

By Benjamin C. Pierce
Publisher: The MIT Press
Published: 07 August 1991
DOI: 10.7551/mitpress/1524.003.0001
EISBN: 9780262288460
PDF