Catalog

Record Details

Catalog Search



Implementation and Application of Functional Languages [electronic resource] : 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers / edited by Andy Gill, Jurriaan Hage.

Gill, Andy. (editor.). Hage, Jurriaan. (editor.). SpringerLink (Online service) (Added Author).

Electronic resources

Record details

  • ISBN: 9783642344077
  • Physical Description: X, 181 p. 68 illus. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : 2012.
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.

Additional Resources