Functional and Logic Programming
Subtitle: 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings (Lecture Notes in Computer Science)
Contributors: Masami Hagiya (Editor); Philip Wadler (Editor)
Edition: 1 edition
Publisher: Springer
Published: May 11, 2006
Language: eng
Format: Paperback
Number of pages: 295
ISBN-13: 9783540334385
Subjects: Computer Programming; Programming Languages - General; Computers - Languages / Programming; Computers; Computer Books: Languages; Logic Design; Programming - General; Computers / Programming / General; Web forms; XML type checking; functional programming; logic programming; meta-programming; parallel programming; program analysis; program correctness; program semantics; program transformations; prolog programming; type systems