Generic and Indexed Programming: International Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010, Revised Lectures: 7470 (Lecture Notes in Computer Science) - Tapa blanda

9783642322013: Generic and Indexed Programming: International Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010, Revised Lectures: 7470 (Lecture Notes in Computer Science)

Tapa blanda

ISBN 10: 3642322018 ISBN 13: 9783642322013

Editorial: Springer, 2012

Ver todas las copias de esta edici�n del ISBN

3 Usado

De EUR 34,78

12 Nuevo

De EUR 54,16

This book collects lectures from the Spring 2010 School on Generic and Indexed Programming. Includes coverage showing how the forces of genericity and indexing balance each other, simultaneously promoting and controlling generality in programming.

"Sinopsis" puede pertenecer a otra edici�n de este libro.

De la contraportada

Generic programming is about making programs more widely applicable via exotic kinds of parametrization---not just along the dimensions of values or of types, but also of things such as the shape of data, algebraic
structures, strategies, computational paradigms, and so on. Indexed programming is a lightweight form of dependently typed programming, constraining flexibility by allowing one to state and check relationships between parameters: that the shapes of two arguments agree, that an encoded value matches some type, that values transmitted along a channel conform to the stated protocol, and so on.

The two forces of genericity and indexing balance each other nicely, simultaneously promoting and controlling generality. The 5 lectures included in this book stem from the Spring School on Generic and Indexed Programming, held in Oxford, UK, in March 2010 as a closing activity of the generic and indexed programming project at Oxford which took place in the years 2006-2010.

"Sobre este t�tulo" puede pertenecer a otra edici�n de este libro.

Editorial: Springer
A�o de publicaci�n: 2012
Idioma: Ingl�s
ISBN 10: 3642322018
ISBN 13: 9783642322013
Encuadernaci�n: Tapa blanda
N�mero de p�ginas: 268
Editor: Gibbons Jeremy
Contacto del fabricante: no disponible
Persona responsable: CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Alemania

Comprar usado

Condici�n: Excelente

Zustand: Sehr gut | Sprache: Englisch...

Ver este art�culo

EUR 34,78

Convertir moneda

EUR 14,90 gastos de env�o desde Alemania a Espa�a

Destinos, gastos y plazos de env�o

A�adir al carrito

Comprar nuevo

Ver este art�culo

EUR 54,16

Convertir moneda

EUR 5,17 gastos de env�o desde Reino Unido a Espa�a

Destinos, gastos y plazos de env�o

A�adir al carrito

Otras ediciones populares con el mismo t�tulo

9783642322037: Generic and Indexed Programming. International Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010, Revised Lectures

Edici�n Destacada

ISBN 10: 3642322034 ISBN 13: 9783642322037
Tapa blanda

Resultados de la b�squeda para Generic and Indexed Programming: International Spring...

Imagen de archivo

Generic and Indexed Programming

Unbekannt

Publicado por Springer Berlin Heidelberg, 2012

ISBN 10: 3642322018 ISBN 13: 9783642322013

Antiguo o usado Tapa blanda

Librería: Buchpark, Trebbin, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Condici�n: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: B�cher. N� de ref. del art�culo: 22631956/2

Contactar al vendedor

Comprar usado

EUR 34,78

Convertir moneda

Gastos de env�o: EUR 14,90

De Alemania a Espa�a

Destinos, gastos y plazos de env�o

Cantidad disponible: 1 disponibles

A�adir al carrito

Imagen de archivo

Generic and Indexed Programming (Lecture Notes in Computer Science, 7470)

Publicado por Springer, 2012

ISBN 10: 3642322018 ISBN 13: 9783642322013

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: ria9783642322013_new

Contactar al vendedor

Comprar nuevo

EUR 54,16

Convertir moneda

Gastos de env�o: EUR 5,17

De Reino Unido a Espa�a

Destinos, gastos y plazos de env�o

Cantidad disponible: M�s de 20 disponibles

A�adir al carrito

Imagen del vendedor

Generic and Indexed Programming

Jeremy Gibbons

Publicado por Springer Berlin Heidelberg Jul 2012, 2012

ISBN 10: 3642322018 ISBN 13: 9783642322013

Nuevo Taschenbuch

Impresi�n bajo demanda

Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Taschenbuch. Condici�n: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Generic programming is about making programs more widely applicable via exotic kinds of parametrization---not just along the dimensions of values or of types, but also of things such as the shape of data, algebraicstructures, strategies, computational paradigms, and so on. Indexed programming is a lightweight form of dependently typed programming, constraining flexibility by allowing one to state and check relationships between parameters: that the shapes of two arguments agree, that an encoded value matches some type, that values transmitted along a channel conform to the stated protocol, and so on.The two forces of genericity and indexing balance each other nicely, simultaneously promoting and controlling generality. The 5 lectures included in this book stem from the Spring School on Generic and Indexed Programming, held in Oxford, UK, in March 2010 as a closing activity of the generic and indexed programming project at Oxford which took place in the years 2006-2010. 268 pp. Englisch. N� de ref. del art�culo: 9783642322013

Contactar al vendedor

Comprar nuevo

EUR 49,22

Convertir moneda

Gastos de env�o: EUR 11,00

De Alemania a Espa�a

Destinos, gastos y plazos de env�o

Cantidad disponible: 2 disponibles

A�adir al carrito

Imagen del vendedor

Generic and Indexed Programming

Jeremy Gibbons

Publicado por Springer Berlin Heidelberg, 2012

ISBN 10: 3642322018 ISBN 13: 9783642322013

Nuevo Taschenbuch

Librería: AHA-BUCH GmbH, Einbeck, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Taschenbuch. Condici�n: Neu. Druck auf Anfrage Neuware - Printed after ordering - Generic programming is about making programs more widely applicable via exotic kinds of parametrization---not just along the dimensions of values or of types, but also of things such as the shape of data, algebraicstructures, strategies, computational paradigms, and so on. Indexed programming is a lightweight form of dependently typed programming, constraining flexibility by allowing one to state and check relationships between parameters: that the shapes of two arguments agree, that an encoded value matches some type, that values transmitted along a channel conform to the stated protocol, and so on.The two forces of genericity and indexing balance each other nicely, simultaneously promoting and controlling generality. The 5 lectures included in this book stem from the Spring School on Generic and Indexed Programming, held in Oxford, UK, in March 2010 as a closing activity of the generic and indexed programming project at Oxford which took place in the years 2006-2010. N� de ref. del art�culo: 9783642322013

Contactar al vendedor

Comprar nuevo

EUR 49,22

Convertir moneda

Gastos de env�o: EUR 11,99

De Alemania a Espa�a

Destinos, gastos y plazos de env�o

Cantidad disponible: 1 disponibles

A�adir al carrito

Imagen del vendedor

Generic and Indexed Programming

Gibbons, Jeremy

Publicado por Springer Berlin Heidelberg, 2012

ISBN 10: 3642322018 ISBN 13: 9783642322013

Nuevo Kartoniert / Broschiert

Impresi�n bajo demanda

Librería: moluna, Greven, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Kartoniert / Broschiert. Condici�n: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Tutorial volumeAims at doctoral students, researchers, and practitioners in programming languages and related areas Covers various aspects of generic and indexed programmingGeneric programming is about making programs more widely ap. N� de ref. del art�culo: 5056846

Contactar al vendedor