1-20 of 53
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
EISBN: 9780262281591
Book Chapter

Substructural Type Systems

By Benjamin C. Pierce
Publisher: The MIT Press
Published: 23 December 2004
EISBN: 9780262281591
Book Chapter

Dependent Types

By Benjamin C. Pierce
Publisher: The MIT Press
Published: 23 December 2004
EISBN: 9780262281591
Book Chapter

Effect Types and Region-Based Memory Management

By Benjamin C. Pierce
Publisher: The MIT Press
Published: 23 December 2004
EISBN: 9780262281591
Book Chapter

Types for Low-Level Languages

By Benjamin C. Pierce
Publisher: The MIT Press
Published: 23 December 2004
EISBN: 9780262281591
Book Chapter

Typed Assembly Language

By Benjamin C. Pierce
Publisher: The MIT Press
Published: 23 December 2004
EISBN: 9780262281591
Book Chapter

Proof-Carrying Code

By Benjamin C. Pierce
Publisher: The MIT Press
Published: 23 December 2004
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
EISBN: 9780262281591
Book Chapter

Typed Operational Reasoning

By Benjamin C. Pierce
Publisher: The MIT Press
Published: 23 December 2004
EISBN: 9780262281591
Book Chapter

Design Considerations for ML-Style Module Systems

By Benjamin C. Pierce
Publisher: The MIT Press
Published: 23 December 2004
EISBN: 9780262281591
Book Chapter

Type Definitions

By Benjamin C. Pierce
Publisher: The MIT Press
Published: 23 December 2004
EISBN: 9780262281591
Book Chapter

The Essence of ML Type Inference

By Benjamin C. Pierce
Publisher: The MIT Press
Published: 23 December 2004
EISBN: 9780262281591
Book Chapter

A Solutions to Selected Exercises

By Benjamin C. Pierce
Publisher: The MIT Press
Published: 23 December 2004
EISBN: 9780262281591
Book Chapter

References

By Benjamin C. Pierce
Publisher: The MIT Press
Published: 23 December 2004
EISBN: 9780262281591
Book Chapter

Index

By Benjamin C. Pierce
Publisher: The MIT Press
Published: 23 December 2004
EISBN: 9780262281591
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

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

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