Types in Compilation: Third International Workshop, TIC 2000, Montreal, Canada, September 21, 2000. Revised Selected Pape by Robert HarperTypes in Compilation: Third International Workshop, TIC 2000, Montreal, Canada, September 21, 2000. Revised Selected Pape by Robert Harper

Types in Compilation: Third International Workshop, TIC 2000, Montreal, Canada, September 21, 2000…

EditorRobert Harper

Paperback | June 20, 2001

Pricing and Purchase Info

$128.95

Earn 645 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop on Types in Compilation, TIC 2000, held in Montreal, Canada in September 2000. The seven revised full papers presented have been carefully reviewed and selected from the workshop papers for inclusion in the book. The book focuses on the application of types in the implementation of programming languages. Among the topics addressed are intersection and union types, elimination, Java dynamic linking and loading, typed Assembly language, dynamic linking of native code, and type for recursive data structures.
Title:Types in Compilation: Third International Workshop, TIC 2000, Montreal, Canada, September 21, 2000…Format:PaperbackDimensions:224 pagesPublished:June 20, 2001Publisher:Springer Berlin HeidelbergLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3540421963

ISBN - 13:9783540421962

Look for similar items by category:

Reviews