Functional and Logic Programming
9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008, Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Jacques Garrigue
Themen in »Functional and Logic Programming«
Constraint Debugging curry declarative arithmetic delimited continuation dependent types expressivity functional programming logic logic programming logical relations meta-programming nondeterminism parallel programming programming
Stimmen zu »Functional and Logic Programming«
Details
ISBN: 9783540789697
Verlag: Springer Berlin
Erscheinung: 05.04.2008