Generic and Indexed Programming
Subtitle: International Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010, Revised Lectures
By: edited by Jeremy Gibbons
Contributors: SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 7470
Publisher: Springer Berlin Heidelberg; Imprint: Springer
Published: 2012
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783642322020
Subjects: Mathematical Logic and Formal Languages; Programming Techniques; Software engineering; Data structures (Computer science); Logic design; Data Structures; Logics and Meanings of Programs; Computer science; Programming Languages, Compilers, Interpreters