Sold Out
Book Categories |
Introduction | 1 | |
Compiling Java to a Typed Lambda-Calculus: A Preliminary Report | 9 | |
Stack-Based Typed Assembly Language | 28 | |
How Generic is a Generic Back End? Using MLRISC as a Back End for the TIL Compiler | 53 | |
A Toolkit for Constructing Type- and Constraint-Based Program Analyses | 78 | |
Optimizing ML Using a Hierarchy of Monadic Types | 97 | |
Type-Directed Continuation Allocation | 116 | |
Polymorphic Equality - No Tags Required | 136 | |
Optimal Type Lifting | 156 | |
Formalizing Resource Allocation in a Compiler | 178 | |
An Approach to Improve Locality Using Sandwich Types | 194 | |
Garbage Collection via Dynamic Type Inference - A Formal Treatment | 215 | |
Strong Normalization by Type-Directed Partial Evaluation and Run-Time Code Generation | 240 | |
Determination of Dynamic Method Dispatches Using Run-Time Code Generation | 253 | |
Type-Based Analysis of Concurrent Programs | 272 | |
A Type-Based Semantics for User-Defined Marshalling in Polymorphic Languages | 273 | |
Author Index | 299 |
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 ListX
This item is in your CollectionTypes in Compilation, Vol. 147
X
This Item is in Your InventoryTypes in Compilation, Vol. 147
X
You must be logged in to review the productsX
X
X
Add Types in Compilation, Vol. 147, , Types in Compilation, Vol. 147 to the inventory that you are selling on WonderClubX
X
Add Types in Compilation, Vol. 147, , Types in Compilation, Vol. 147 to your collection on WonderClub |