Trends in Functional Programming

17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers

Nonfiction, Computers, Programming, Programming Languages, General Computing
Cover of the book Trends in Functional Programming by , Springer International Publishing
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9783030148058
Publisher: Springer International Publishing Publication: February 20, 2019
Imprint: Springer Language: English
Author:
ISBN: 9783030148058
Publisher: Springer International Publishing
Publication: February 20, 2019
Imprint: Springer
Language: English

This book constitutes the refereed proceedings of the 17th International Conference on Trends in Functional Programming, TFP 2016, held in College Park, USA, in June 2016.

The 10 full papers presented in this volume were carefully reviewed and selected from 18 submissions. The papers were organized in topical sections named: implementation techniques; types and verification; and programming. 

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

This book constitutes the refereed proceedings of the 17th International Conference on Trends in Functional Programming, TFP 2016, held in College Park, USA, in June 2016.

The 10 full papers presented in this volume were carefully reviewed and selected from 18 submissions. The papers were organized in topical sections named: implementation techniques; types and verification; and programming. 

More books from Springer International Publishing

Cover of the book Issues in Science and Theology: Do Emotions Shape the World? by
Cover of the book Authoritarianism, Cultural History, and Political Resistance in Latin America by
Cover of the book Computational Pathology and Ophthalmic Medical Image Analysis by
Cover of the book Corruption in Latin America by
Cover of the book Eppur si muove: Doing History and Philosophy of Science with Peter Machamer by
Cover of the book Two-Scale Approach to Oscillatory Singularly Perturbed Transport Equations by
Cover of the book Agent and Multi-Agent Systems: Technology and Applications by
Cover of the book Engineering Applications of Neural Networks by
Cover of the book Equations Involving Malliavin Calculus Operators by
Cover of the book Computational Acoustics by
Cover of the book Solving Non-standard Packing Problems by Global Optimization and Heuristics by
Cover of the book Introduction to Cutting and Packing Optimization by
Cover of the book Nanophysics for Energy Efficiency by
Cover of the book Routines of Substitution by
Cover of the book Applied Computer Sciences in Engineering by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy