Catalog

Record Details

Catalog Search



Generic and Indexed Programming [electronic resource] : International Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010, Revised Lectures / edited by Jeremy Gibbons.

Gibbons, Jeremy. (editor.). SpringerLink (Online service) (Added Author).

Electronic resources

Record details

  • ISBN: 9783642322020
  • Physical Description: VII, 259 p. 24 illus. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : 2012.
Subject: 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.

Additional Resources