Functional and Logic Programming
8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Masami Hagiya
Themen in »Functional and Logic Programming«
Coq Haskell XML XML type checking data structure data structures functional programming logic logic programming meta-programming parallel programming program analysis program correctness program semantics programming
Stimmen zu »Functional and Logic Programming«
Details
ISBN: 9783540334385
Verlag: Springer Berlin
Erscheinung: 06.04.2006