Implementation and Application of Functional Languages
Publication year: 2007
ISBN: 978-3-540-74130-5
Internet Resource: Please Login to download book
This volume constitutes the post-proceedings of the 18th International Workshop on Implementation and Applications of Functional Languages. Each one was submitted to two rounds of reviews to ensure accuracy, thoroughness, and readability. The papers address all current theoretical and methodological issues in functional and function-based languages.
Subject: Computer Science, Debugging, Haskell, Haskell programming, ML programming, function-based programming, functional logic computation, functional progamming languages, functional programming, functional theorem proving, graph rewriting, logic, mathematical semantics, parallel functional programming, programming, verification
