Dear customers, due to a public holiday, customer support is not available today. We will attend to your requests the next business day. Thank you for your understanding.

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Dear customers, due to a public holiday, customer support is not available today. We will attend to your requests the next business day. Thank you for your understanding.

Types in Compilation

Name: Types in Compilation
Brand: Springer, Berlin
SKU: 01563532
Price: 53.79 EUR
Availability: InStock
Author: Robert Harper
ISBN: 9783540421962

Third International Workshop, TIC 2000, Montreal, Canada, September 21, 2000. Revised Selected Papers

Robert Harper

Language

English

Book Paperback

Libristo code: 01563532

Publishers Springer, Berlin, November 2000

This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop o... Full description

Libristo code: 01563532

132 b

53.79 € VAT included

In stock at our supplier Shipping in 5-8 days

Delivery to Austria

30-day return policy

Customers also purchased

Motivationsförderung im Schulalltag Falko Rheinberg

Paperback

34.95 €

SISTEMAS INFORMATICOS ISABEL MARIA JIMENEZ CUMBRERAS

Paperback

38.79 €

LOGICO PICCOLO MATHS CE1/2 Éric Battut

Paperback

38.89 €

Conversar en espanol Martinez Carrillo Maria del Carmen Martinez Carrillo

Adobe ePub DRM

48.29 €

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.