Artículos relacionados a Two Level Functional Languages: 34 (Cambridge Tracts...
Two Level Functional Languages: 34 (Cambridge Tracts in Theoretical Computer Science, Series Number 34) - Tapa blanda
Libro 39 de 40: Cambridge Tracts in Theoretical Computer Science
Sinopsis
This book provides a framework in which the type notation of functional languages is extended to include a distinguishing notation for run-times and compile-times.
"Sinopsis" puede pertenecer a otra edición de este libro.
Acerca del autor
Charlotte y Peter Fiell son dos autoridades en historia, teoría y crítica del diseño y han escrito más de sesenta libros sobre la materia, muchos de los cuales se han convertido en éxitos de ventas. También han impartido conferencias y cursos como profesores invitados, han comisariado exposiciones y asesorado a fabricantes, museos, salas de subastas y grandes coleccionistas privados de todo el mundo. Los Fiell han escrito numerosos libros para TASCHEN, entre los que se incluyen 1000 Chairs, Diseño del siglo XX, El diseño industrial de la A a la Z, Scandinavian Design y Diseño del siglo XXI.
"Sobre este título" puede pertenecer a otra edición de este libro.
Resultados de la búsqueda para Two Level Functional Languages: 34 (Cambridge Tracts...
Imagen de archivo
Two Level Functional Languages. (=Cambridge Tracts in Theoretical Computer Science; Vol. 34).
Publicado por
Cambridge University Press, 2008
ISBN 10: 0521018471
ISBN 13: 9780521018470
Antiguo o usado
Paperback
Librería: Antiquariat Thomas Haker GmbH & Co. KG, Berlin, Alemania
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Wie neu. 312 S. Like new. Shrink wrapped. Sprache: Englisch Gewicht in Gramm: 610. Nº de ref. del artículo: 818117
Comprar usado
EUR 12,50
Envío por EUR 20,00
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Two-Level Functional Languages (Cambridge Tracts in Theoretical Computer Science, Series Number 34)
Publicado por
Cambridge University Press, 2005
ISBN 10: 0521018471
ISBN 13: 9780521018470
Nuevo
Tapa blanda
Librería: California Books, Miami, FL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: I-9780521018470
Comprar nuevo
EUR 70,95
Gastos de envío gratis
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Two Level Functional Languages (Cambridge Tracts in Theoretical Computer Science, Series Number 34)
Publicado por
Cambridge University Press, 2005
ISBN 10: 0521018471
ISBN 13: 9780521018470
Antiguo o usado
Tapa blanda
Librería: Anybook.com, Lincoln, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,600grams, ISBN:9780521018470. Nº de ref. del artículo: 3718239
Comprar usado
EUR 57,53
Envío por EUR 15,83
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Two-Level Functional Languages
Publicado por
Cambridge University Press, GB, 2005
ISBN 10: 0521018471
ISBN 13: 9780521018470
Nuevo
Paperback
Librería: Rarewaves.com USA, London, LONDO, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: New. The authors describe here a framework in which the type notation of functional languages is extended to include a notation for binding times (that is run-time and compile-time) that distinguishes between them. Consequently the ability to specify code and verify program correctness can be improved. Two developments are needed, the first of which introduces the binding time distinction into the lambda calculus, in a manner analogous with the introduction of types into the untyped lambda calculus. Methods are also presented for introducing combinators for run-time. The second concerns the interpretation of the resulting language, which is known as the mixed lambda-calculus and combinatory logic. The notion of 'parametrized semantics' is used to describe code generation and abstract interpretation. The code generation is for a simple abstract machine designed for the purpose; it is close to the categorical abstract machine. The abstract interpretation focuses on a strictness analysis that generalises Wadler's analysis for lists. Nº de ref. del artículo: LU-9780521018470
Comprar nuevo
EUR 78,10
Gastos de envío gratis
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Two-Level Functional Languages
Publicado por
Cambridge University Press, 2005
ISBN 10: 0521018471
ISBN 13: 9780521018470
Nuevo
Tapa blanda
Librería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
Condición: New. Print on Demand pp. 312 Illus. Nº de ref. del artículo: 8374322
Comprar nuevo
EUR 75,11
Envío por EUR 7,57
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 4 disponibles
Imagen de archivo
Two-Level Functional Languages (Cambridge Tracts in Theoretical Computer Science, Series Number 34)
Publicado por
Cambridge University Press, 2005
ISBN 10: 0521018471
ISBN 13: 9780521018470
Nuevo
Tapa blanda
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In. Nº de ref. del artículo: ria9780521018470_new
Comprar nuevo
EUR 70,73
Envío por EUR 13,94
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Two Level Functional Languages: 34 (Cambridge Tracts in Theoretical Computer Science, Series Number 34)
Publicado por
Cambridge University Press, 2008
ISBN 10: 0521018471
ISBN 13: 9780521018470
Nuevo
Tapa blanda
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Calificación del vendedor: 5 de 5 estrellas
Condición: New. This book provides a framework in which the type notation of functional languages is extended to include a distinguishing notation for run-times and compile-times. Series Editor(s): Van Rijsbergen, C. J.; Abramsky, S.; Aczel, P. H.; Bakker, J. W. de; Gurevich, Y.; Tucker, J. V. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages: 312 pages, 4 b/w illus. 35 tables. BIC Classification: UMX; UYA. Category: (P) Professional & Vocational. Dimension: 247 x 174 x 17. Weight in Grams: 500. . 2008. Pbk Version ed. paperback. . . . . Nº de ref. del artículo: V9780521018470
Comprar nuevo
EUR 75,98
Envío por EUR 9,50
Se envía de Irlanda a Estados Unidos de America
Se envía de Irlanda a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Two-Level Functional Languages
Publicado por
Cambridge University Press CUP, 2005
ISBN 10: 0521018471
ISBN 13: 9780521018470
Nuevo
Tapa blanda
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: New. Print on Demand pp. 312. Nº de ref. del artículo: 26554989
Comprar nuevo
EUR 82,22
Envío por EUR 3,44
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 4 disponibles
Imagen de archivo
Two-Level Functional Languages
Publicado por
Cambridge University Press, 2005
ISBN 10: 0521018471
ISBN 13: 9780521018470
Nuevo
Tapa blanda
Librería: Biblios, Frankfurt am main, HESSE, Alemania
Calificación del vendedor: 4 de 5 estrellas
Condición: New. PRINT ON DEMAND pp. 312. Nº de ref. del artículo: 18554983
Comprar nuevo
EUR 76,95
Envío por EUR 9,95
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 4 disponibles
Imagen de archivo
Two-Level Functional Languages
Publicado por
Cambridge University Press, 2005
ISBN 10: 0521018471
ISBN 13: 9780521018470
Nuevo
Paperback / softback
Librería: THE SAINT BOOKSTORE, Southport, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback / softback. Condición: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days. Nº de ref. del artículo: C9780521018470
Comprar nuevo
EUR 82,23
Envío por EUR 18,68
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles