Sökt på: Sökresultat
totalt 4 träffar
Reconciling Abstraction with High Performance
Reconciling Abstraction with High Performance teaches the reader how to write typed code generators, how to make them modular, and how to gradually introduce domain-specific …
Functional and Logic Programming
This bookconstitutes the proceedings of the 13th International Symposium on Functionaland Logic Programming, FLOPS 2016, held in Kochi, Japan, in March 2016. The 14 papers …
Reasoned Schemer
A new edition of a book, written in a humorous question-and-answer style, that shows how to implement and use an elegant little programming language for logic programming.The goal …
Functional and Logic Programming
This book constitutes the proceedings of the 13th International Symposium on Functional and Logic Programming, FLOPS 2016, held in Kochi, Japan, in March 2016. The 14 papers …