Catalog

Record Details

Catalog Search



Implementation and Application of Functional Languages [electronic resource] : 21st International Symposium, IFL 2009, South Orange, NJ, USA, September 23-25, 2009, Revised Selected Papers / edited by Marco T. Morazán, Sven-Bodo Scholz.

Electronic resources

Record details

  • ISBN: 9783642164781
  • Physical Description: IX, 237p. 107 illus. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
Subject: Computer science.
Software engineering.
Logic design.
Artificial intelligence.
Computer Science.
Logics and Meanings of Programs.
Software Engineering.
Mathematical Logic and Formal Languages.
Programming Languages, Compilers, Interpreters.
Artificial Intelligence (incl. Robotics).
Programming Techniques.

Additional Resources