Item description for Types in Compilation: Third International Workshop, TIC 2000, Montreal, Canada, September 21, 2000. Revised Selected Papers (Lecture Notes in Computer Science) by Robert Harper...
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.
Promise Angels is dedicated to bringing you great books at great prices. Whether you read for entertainment, to learn, or for literacy - you will find what you want at promiseangels.com!
Est. Packaging Dimensions: Length: 9.2" Width: 6" Height: 0.5" Weight: 0.75 lbs.
Release Date Jun 27, 2001
ISBN 3540421963 ISBN13 9783540421962
Availability 65 units. Availability accurate as of Jan 21, 2017 02:53.
Usually ships within one to two business days from La Vergne, TN.
Orders shipping to an address other than a confirmed Credit Card / Paypal Billing address may incur and additional processing delay.
More About Robert Harper
Robert Harper is Research Computer Scientist at Carnegie Mellon University.
Ask A Question or Provide Feedback regarding Types in Compilation: Third International Workshop, TIC 2000, Montreal, Canada, September 21, 2000. Revised Selected Papers (Lecture Notes in Computer Science)
Add This Product Widget To Your Website
Looking to add this information to your own website? Then use our Product Widget to allow you to display product information in a frame that is 120 pixels wide by 240 pixels high.