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

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

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...

Description complète

Enregistré dans:
Détails bibliographiques
Auteur principal : Gibbons Jeremy (Directeur de publication)
Format : Livre
Langue : anglais
Titre complet : Generic and Indexed Programming : International Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010, Revised Lectures / edited by Jeremy Gibbons.
Publié : Berlin, Heidelberg : Springer Berlin Heidelberg , 2012
Cham
Collection : Theoretical computer science and general issues (Online) ; 7470
Accès en ligne : Accès Nantes Université
Accès direct soit depuis les campus via le réseau ou le wifi eduroam soit à distance avec un compte @etu.univ-nantes.fr ou @univ-nantes.fr
Sujets :
Computer Science
Programming Languages, Compilers, Interpreters
Data Structures
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Programming Techniques
Software Engineering
Compilers and Interpreters
Data Science
Computer Science Logic and Foundations of Programming
Formal Languages and Automata Theory
Documents associés : Autre format: Generic and Indexed Programming
Autre format: Generic and Indexed Programming
Chargement en cours