Articles liés à Generic and Indexed Programming: International Spring...
Generic and Indexed Programming: International Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010, Revised Lectures - Couverture souple
Synopsis
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Acheter neuf
Afficher cet article
EUR 44,88
EUR 9,70 expédition depuis Allemagne vers France
Destinations, frais et délais
Résultats de recherche pour Generic and Indexed Programming: International Spring...
Image d'archives
Generic and Indexed Programming
Edité par
Springer Berlin Heidelberg, 2012
ISBN 10 : 3642322018
ISBN 13 : 9783642322013
Ancien ou d'occasion
Couverture souple
Vendeur : Buchpark, Trebbin, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : Sehr gut. Zustand: Sehr gut | Seiten: 268 | Sprache: Englisch | Produktart: Bücher. N° de réf. du vendeur 22631956/2
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Generic and Indexed Programming
Edité par
Springer Berlin Heidelberg, 2012
ISBN 10 : 3642322018
ISBN 13 : 9783642322013
Neuf
Kartoniert / Broschiert
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Kartoniert / Broschiert. Etat : 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 réf. du vendeur 5056846
Quantité disponible : Plus de 20 disponibles
Image d'archives
Generic and Indexed Programming (Lecture Notes in Computer Science, 7470)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783642322013_new
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Generic and Indexed Programming
Edité par
Springer Berlin Heidelberg, 2012
ISBN 10 : 3642322018
ISBN 13 : 9783642322013
Neuf
Taschenbuch
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : 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 réf. du vendeur 9783642322013
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Generic and Indexed Programming
Edité par
Springer Berlin Heidelberg Jul 2012, 2012
ISBN 10 : 3642322018
ISBN 13 : 9783642322013
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : 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 réf. du vendeur 9783642322013
Quantité disponible : 2 disponible(s)
Image d'archives
Generic and Indexed Programming: International Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010, Revised Lectures (Lecture Notes in Computer Science)
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Paperback. Etat : New. N° de réf. du vendeur 6666-IUK-9783642322013
Quantité disponible : 10 disponible(s)
Image fournie par le vendeur
Generic and Indexed Programming
Edité par
Springer Berlin Heidelberg, Springer Berlin Heidelberg Jul 2012, 2012
ISBN 10 : 3642322018
ISBN 13 : 9783642322013
Neuf
Taschenbuch
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 268 pp. Englisch. N° de réf. du vendeur 9783642322013
Quantité disponible : 2 disponible(s)
Image d'archives
Generic and Indexed Programming (Lecture Notes in Computer Science, 7470)
Vendeur : California Books, Miami, FL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur I-9783642322013
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Generic and Indexed Programming : International Spring School, Ssgip 2010, Oxford, Uk, March 22-26, 2010, Revised Lectures
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 18806622-n
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Generic and Indexed Programming : International Spring School, Ssgip 2010, Oxford, Uk, March 22-26, 2010, Revised Lectures
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 18806622-n
Quantité disponible : Plus de 20 disponibles