Książka Types in Compilation Robert Harper

Types in Compilation

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

Autor: Robert Harper
Język: Angielski
Oprawa: Miękka
Wydawca: Springer, Berlin
Dostępność: Dostępna u dostawcy
Wysyłamy za 5-8 dni
212.13
This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop o...

Informacje o książce

Język
Angielski
Oprawa
Książka - Miękka
Data wydania
2001
strony
214
EAN
9783540421962
ISBN
3540421963
Enbook ID
01563532
Waga
322
Wymiary
155 x 235 x 12

Pełny opis

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.

Możesz być zainteresowany

Riviera Revenge

George Cavendish
56.38

Textbook of Aramaic Ostraca from Idumea, volume 5

Bezalel (Hebrew University of Jerusalem) Porten
795.06

Celtic Fiddler

Edward Huws Jones
91.28
53.46

East-west Conflict

Michael D. Intriligator
258.99
75.04

In/spectre Volume 4

Kyou Shirodaira
37.71
71.64

Convent

Multiple Contributors
85.16
48.99

I Alone Know

R Walenstein Baldwin
58.71

Is This The One?

Steve Arterburn
47.14

Leadership

Robert A. Fitton
287.47

Hell's Bells

John Connolly
57.16

Understanding Love

Christopher Wolf
592.26

Klienci, którzy kupili tę książkę, kupili również

135.90

SISTEMAS INFORMATICOS

ISABEL MARIA JIMENEZ CUMBRERAS
154.96
154.77

Conversar en espanol

Martinez Carrillo Maria del Carmen Martinez Carrillo
190.35