Catalog > Sciences > Computer Science > Application Software > Andy King & Oleg Kiselyov: Functional and Logic Programming (PDF)

Andy King & Oleg Kiselyov
Functional and Logic Programming [PDF ebook]
13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings

Support

Cover of Andy King & Oleg Kiselyov: Functional and Logic Programming (PDF)

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 presented in this volume were carefully reviewed and selectedfrom 36 submissions. They cover the following topics: functional and logicprogramming; program transformation and re-writing; and extracting programsfrom proofs of their correctness.

€51.48

Buy this ebook and get 1 more FREE!

Language English ● Format PDF ● ISBN 9783319296043 ● Editor Andy King & Oleg Kiselyov ● Publisher Springer International Publishing ● Published 2016 ● Downloadable 3 times ● Currency EUR ● ID 6303730 ● Copy protection Adobe DRM

Requires a DRM capable ebook reader

More ebooks from the same author(s) / Editor

Andy King Oleg Kiselyov

16,746 Ebooks in this category

Cover of Mike McGrath: Coding for Beginners in easy steps, 3rd edition

Mike McGrath: Coding for Beginners in easy steps, 3rd edition

Now in its third edition, this bestseller will appeal to anyone, of any age, who wants to begin coding. Use Coding for Beginners in easy steps to help you quickly create a programming environment on …

Cover of Max Wainewright: Coding with Scratch - Make 3D Games & Graphics

Max Wainewright: Coding with Scratch – Make 3D Games & Graphics

Coding with Scratch – Make 3D Games & Graphics starts by showing you how to make 3D graphics and then, step-by-step, it takes you through to making 3D games. Try the challenges and mods and make your …

Cover of Mirza Rahim Baig & Mohan Kumar Silaparasetty: The Deep Learning Workshop

Mirza Rahim Baig & Mohan Kumar Silaparasetty: The Deep Learning Workshop

Take a hands-on approach to understanding deep learning and build smart applications that can recognize images and interpret text Key Features

Understand how to implement deep learning with …

Cover of Mayur Borse: Modern Web Development with Deno

Mayur Borse: Modern Web Development with Deno

Deno is a web platform that offers capabilities for Java Script and Type Script and supports modern web standards. It is a straightforward, up-to-date, secure runtime environment for web developers.T …

Cover of Wayne Murphy: C++ Cookbook

Wayne Murphy: C++ Cookbook

C++ continues to remain relevant despite the advent of many new modern languages. This book dives into the significant features of C++20 ("big four") and C++23, addressing challenges and im …

Cover of Robert McGrath & Jennifer Priestley: Closing the Analytics Talent Gap

Robert McGrath & Jennifer Priestley: Closing the Analytics Talent Gap

How can we recruit out of your program? We have a project – how do we reach out to your students? If we do research together who owns it? We have employees who need to ‘upskill’ in analytics – can yo …

Cover of Alessandro Del Sole: Xamarin with Visual Studio

Alessandro Del Sole: Xamarin with Visual Studio

For any mobile developer, it’s clear that Xamarin knowledge is vital, thanks to the reintroduction of .NET MAUI. This book provides the reader with complete hands-on experience in designing cross-pla …

Cover of Information Resources Management Association: Big Data: Concepts, Methodologies, Tools, and Applications

Information Resources Management Association: Big Data: Concepts, Methodologies, Tools, and Applications

Cover of Deepankar Maitra: Beginner''s Guide to Code Algorithms

Deepankar Maitra: Beginner”s Guide to Code Algorithms

Do you have creative ideas that you wish you could transform into code? Do you want to boost your problem solving and logic skills? Do you want to enhance your career by adopting an algorithmic minds …

Cover of Dr. Pratiyush Guleria: Basics of Python Programming

Dr. Pratiyush Guleria: Basics of Python Programming

The basics of Python are the book’s main focus. With practical examples, students will understand the fundamentals of Python. This book is designed in a way that should make every example understanda …