Tags
Language
Tags
<<
April 2025
Su Mo Tu We Th Fr Sa
30 31 1 2 3 4 5
6 7 8 9 10 11 12
13 14 15 16 17 18 19
20 21 22 23 24 25 26
27 28 29 30 1 2 3
Attention❗ To save your time, in order to download anything on this site, you must be registered 👉 HERE. If you do not have a registration yet, it is better to do it right away. ✌

( • )( • ) ( ͡⚆ ͜ʖ ͡⚆ ) (‿ˠ‿)
SpicyMags.xyz
  1. Home
  2. eBooks & eLearning
  3. Functional and Logic Programming: 13th International Symposium

Functional and Logic Programming: 13th International Symposium

Posted By: Jeembo
Date: 7 Sep 2017 15:32:54
Functional and Logic Programming: 13th International Symposium

Functional and Logic Programming: 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings by Oleg Kiselyov, Andy King
English | 2016 | ISBN: 3319296035 | 253 Pages | PDF | 13.6 MB

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.
UPWARDS