본문 바로가기
장바구니0

Types and Programming Languages > 프로그래밍

도서간략정보

Types and Programming Languages
판매가격 39,000원
저자 Pierce
도서종류 외국도서
출판사 MIT Press
발행언어 영어
발행일 2002-02-01
페이지수 645
ISBN 9780262162098
도서구매안내 온, 오프라인 서점에서 구매 하실 수 있습니다.

구매기능

  • 도서 정보

    도서 상세설명

    Preface
    1 Introduction 1
    2 Mathematical Preliminaries 15
    I Untyped Systems 21
    3 Untyped Arithmetic Expressions 23
    4 An ML Implementation of Arithmetic Expressions 45
    5 The Untyped Lambda-Calculus 51
    6 Nameless Representation of Terms 75
    7 An ML Implementation of the Lambda-Calculus 83
    II Simple Types 89
    8 Typed Arithmetic Expressions 91
    9 Simply Typed Lambda-Calculus 99
    10 An ML Implementation of Simple Types 113
    11 Simple Extensions 117
    12 Normalization 149
    13 References 153
    14 Exceptions 171
    III Subtyping 179
    15 Subtyping 181
    16 Metatheory of Subtyping 209
    17 An ML Implementation of Subtyping 221
    18 Case Study: Imperative Objects 225
    19 Case Study: Featherweight Java 247
    IV Recursive Types 265
    20 Recursive Types 267
    21 Metatheory of Recursive Types 281
    V Polymorphism 315
    22 Type Reconstruction 317
    23 Universal Types 339
    24 Existential Types 363
    25 An ML Implementation of System F 381
    26 Bounded Quantification 389
    27 Case Study: Imperative Objects, Redux 411
    28 Metatheory of Bounded Quantification 417
    VI Higher-Order Systems 437
    29 Type Operators and Kinding 439
    30 Higher-Order Polymorphism 449
    31 Higher-Order Subtyping 467
    32 Case Study: Purely Functional Objects 475
    Appendices 491
    A: Solutions to Selected Exercises 493
    B: Notational Conventions 565
    References 567
    Index 605
  • 사용후기

    사용후기가 없습니다.

  • 배송/교환정보

    배송정보

    배송 안내 입력전입니다.

    교환/반품

    교환/반품 안내 입력전입니다.

선택하신 도서가 장바구니에 담겼습니다.

계속 둘러보기 장바구니보기
회사소개 개인정보 이용약관
Copyright © 2001-2019 도서출판 홍릉. All Rights Reserved.
상단으로