Kniha Types in Compilation Robert Harper

Types in Compilation

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

Autor: Robert Harper
Jazyk: Angličtina
Vazba: Brožovaná
Vydavatel: Springer, Berlin
Dostupnost: Skladem u dodavatele
Odesíláme za 5-8 dnů
1 147
This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop o...

Informace o knize

Jazyk
Angličtina
Vazba
Kniha - Brožovaná
Vydáno
2001
Stránek
214
EAN
9783540421962
ISBN
3540421963
Enbook ID
01563532
Vydavatel
Hmotnost
322
Rozměry
155 x 235 x 12

Kompletní popis

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.

Mohlo by vás zajímat

Riviera Revenge

George Cavendish
307

Textbook of Aramaic Ostraca from Idumea, volume 5

Bezalel (Hebrew University of Jerusalem) Porten
4 360

Celtic Fiddler

Edward Huws Jones
522
284

East-west Conflict

Michael D. Intriligator
1 407
406

In/spectre Volume 4

Kyou Shirodaira
202
390

Convent

Multiple Contributors
457

I Alone Know

R Walenstein Baldwin
314

Is This The One?

Steve Arterburn
270

Leadership

Robert A. Fitton
1 570

Hell's Bells

John Connolly
327

Understanding Love

Christopher Wolf
3 385

Zákaznicí kteří koupili tuto knihu koupili také

SISTEMAS INFORMATICOS

ISABEL MARIA JIMENEZ CUMBRERAS
886
885

Conversar en espanol

Martinez Carrillo Maria del Carmen Martinez Carrillo
1 088