Springer
FLOPS 2016KochiJapanMarch 4-62016Proceedings
This book is printed on demand and is non-refundable after purchase
Available Formats :
Printed Book
It will be sent to your address
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 presented in this volume were carefully reviewed and selected from 36 submissions. They cover the following topics: functional and logic programming; program transformation and re-writing; and extracting programs from proofs of their correctness.
Report an issue with this product.