Generic and Indexed Programming
Gibbons, Jeremy.
Generic and Indexed Programming International Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010, Revised Lectures / edited by Jeremy Gibbons. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783642322020
Computer science.; Software engineering.; Data structures (Computer science).; Logic design.; Computer Science.; Programming Languages, Compilers, Interpreters.; Programming Techniques.; Software Engineering.; Data Structures.; Logics and Meanings of Programs.; Mathematical Logic and Formal Languages.
Generic and Indexed Programming International Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010, Revised Lectures / edited by Jeremy Gibbons. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783642322020
Computer science.; Software engineering.; Data structures (Computer science).; Logic design.; Computer Science.; Programming Languages, Compilers, Interpreters.; Programming Techniques.; Software Engineering.; Data Structures.; Logics and Meanings of Programs.; Mathematical Logic and Formal Languages.