Types and Programming Languages

Benjamin C. Pierce

The MIT Press

Cambridge, Massachusetts London, England

Copyright © 2002 Benjamin C. Pierce

All rights reserved. No part of this book may be reproduced in any form by any electronic of mechanical means (including photocopying, recording, or information storage and retrieval) without permission in writing from the publisher.

This book was set in Lucida Bright by the author using the document preparation system.

Printed and bound in the United States of America.

Library of Congress Cataloging-in-Publication Data Pierce, Benjamin C. Types and programming languages / Benjamin C. Pierce p. cm. Includes bibliographical references and index.

1. Programming languages (Electronic computers). I. Title.

QA76.7 .P54 2002

005.13—dc21

2001044428