Implementation and Application of Functional Languages
Subtitle: 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers (Lecture Notes in Computer Science)
Contributors: Andrew Butterfield (Editor); Clemens Grelck (Editor); Frank Huch (Editor)
Edition: 1 edition
Publisher: Springer
Published: February 13, 2007
Language: eng
Format: Paperback
Number of pages: 231
ISBN-13: 9783540691747
Subjects: Programming languages; Computers; Computers - Languages / Programming; Computer Books: General; Logic Design; Programming Languages - General; Computers / Programming Languages / General; Haskell programming; ML programming; function-based programming; functional logic computation; functional programming; functional programming languages; functional theorem proving; graph rewriting; mathematical semantics; programming languages implementation; reduction; Computer Science; Programming - General