Catalog

Record Details

Catalog Search



Implementation and Application of Functional Languages 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers  Cover Image E-book E-book

Implementation and Application of Functional Languages [electronic resource] : 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers / edited by Ralf Hinze.

Hinze, Ralf. (editor.). SpringerLink (Online service) (Added Author).

Record details

  • ISBN: 9783642415821
  • Physical Description: X, 241 p. 72 illus. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : 2013.
Subject: Computer science.
Software engineering.
Logic design.
Computer Science.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.
Software Engineering.
Mathematical Logic and Formal Languages.
Programming Techniques.
Information Systems Applications (incl. Internet).

Electronic resources



Additional Resources