000 03242nam a22006015i 4500
001 978-3-642-32202-0
003 DE-He213
005 20240730194422.0
007 cr nn 008mamaa
008 120719s2012 gw | s |||| 0|eng d
020 _a9783642322020
_9978-3-642-32202-0
024 7 _a10.1007/978-3-642-32202-0
_2doi
050 4 _aQA76.76.C65
072 7 _aUMC
_2bicssc
072 7 _aCOM010000
_2bisacsh
072 7 _aUMC
_2thema
082 0 4 _a005.45
_223
245 1 0 _aGeneric and Indexed Programming
_h[electronic resource] /
_cedited by Jeremy Gibbons.
250 _a1st ed. 2012.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2012.
300 _aVII, 259 p. 24 illus.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aTheoretical Computer Science and General Issues,
_x2512-2029 ;
_v7470
520 _aGeneric 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.
650 0 _aCompilers (Computer programs).
_93350
650 0 _aComputer programming.
_94169
650 0 _aSoftware engineering.
_94138
650 0 _aArtificial intelligence
_xData processing.
_921787
650 0 _aComputer science.
_99832
650 0 _aMachine theory.
_9156991
650 1 4 _aCompilers and Interpreters.
_931853
650 2 4 _aProgramming Techniques.
_9156992
650 2 4 _aSoftware Engineering.
_94138
650 2 4 _aData Science.
_934092
650 2 4 _aComputer Science Logic and Foundations of Programming.
_942203
650 2 4 _aFormal Languages and Automata Theory.
_9156993
700 1 _aGibbons, Jeremy.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9156994
710 2 _aSpringerLink (Online service)
_9156995
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783642322013
776 0 8 _iPrinted edition:
_z9783642322037
830 0 _aTheoretical Computer Science and General Issues,
_x2512-2029 ;
_v7470
_9156996
856 4 0 _uhttps://doi.org/10.1007/978-3-642-32202-0
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c95188
_d95188