|
|
Sold Out
Book Categories |
| Preface | ||
| How to Use This Book | ||
| 1 | Introduction | 1 |
| 2 | Object-Oriented Languages and Type Systems | 9 |
| 3 | The BOPL Language | 29 |
| 4 | Type Checking | 43 |
| 5 | Type Inference | 71 |
| 6 | Inheritance | 103 |
| 7 | Genericity | 139 |
| A The BOPL Grammar | 165 | |
| B The Workbench | 169 | |
| References | 171 | |
| Index | 178 |
| Price | Condition | Delivery | Seller | Action |
| $99.99 | Digital |
| WonderClub |
Login|Complaints|Blog|Games|Digital Media|Souls|Obituary|Contact Us|FAQ
CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!! X
You must be logged in to add to WishlistX
This item is in your Wish List
X
This item is in your Collection
Object Oriented Type Systems
X
This Item is in Your Inventory
Object Oriented Type Systems
X
You must be logged in to review the productsX
X
X
Add Object Oriented Type Systems, Object-Oriented Type Systems Jens Palsberg and Michael I. Schwartzbach Aarhus University, Denmark Type systems are required to ensure reliability and efficiency of software. For object-oriented languages, typing is an especially challenging problem becaus, Object Oriented Type Systems to the inventory that you are selling on WonderClubX
X
Add Object Oriented Type Systems, Object-Oriented Type Systems Jens Palsberg and Michael I. Schwartzbach Aarhus University, Denmark Type systems are required to ensure reliability and efficiency of software. For object-oriented languages, typing is an especially challenging problem becaus, Object Oriented Type Systems to your collection on WonderClub |