Types in Compilation: Third International Workshop, Tic 2000, Montreal, Canada, September 21, 2000. Revised Selected Papers

Types in Compilation: Third International Workshop, Tic 2000, Montreal, Canada, September 21, 2000. Revised Selected Papers

di R. Harper

  • Prezzo: € 50.75
Normalmente disponibile in 6/7 giorni lavorativi
Aggiungi al carrello
(puoi sempre toglierlo dopo)

Contenuto

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.

Dettagli del prodotto

  • Titolo: Types in Compilation: Third International Workshop, Tic 2000, Montreal, Canada, September 21, 2000. Revised Selected Papers
  • Autore: R. Harper
  • Redattore: Robert Harper
  • Altri: Robert William Harper
  • Editore: Springer
  • Data di Pubblicazione: Giugno 2001
  • ISBN: 9783540421962
  • Reparto: Compilers



Commenti degli utenti

Scrivi un nuovo commento su Types in Compilation: Third International Workshop, Tic 2000, Montreal, Canada, September 21, 2000. Revised Selected Papers e condividi la tua opinione con altri utenti.

Ricerca Avanzata
Reparti My Account Hai bisogno
d'aiuto?