Scientific Library of Tomsk State University

   E-catalog        

Image from Google Jackets
Normal view MARC view

Trends in Functional Programming electronic resource 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers / edited by Jay McCarthy.

Contributor(s): McCarthy, Jay [editor.] | SpringerLink (Online service)Material type: TextTextSeries: Lecture Notes in Computer SciencePublication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Description: X, 169 p. 59 illus. online resourceContent type: text Media type: computer Carrier type: online resourceISBN: 9783642453403Subject(s): Computer Science | Logic design | Computer Science | Programming Techniques | Programming Languages, Compilers, Interpreters | Logics and Meanings of ProgramsDDC classification: 005.11 LOC classification: QA76.6-76.66Online resources: Click here to access online In: Springer eBooksSummary: This book constitutes the thoroughly refereed revised selected papers of the 14th International Symposium on Trends in Functional Programming, TFP 2013, held in Provo, UT, USA in May 2013. The 10 revised full papers included in this volume were carefully and selected from 27 submissions. They cover topics such as distributed systems, education, functional language implementation, hardware synthesis, static analysis, testing, and total programming.
Tags from this library: No tags from this library for this title. Log in to add tags.
No physical items for this record

This book constitutes the thoroughly refereed revised selected papers of the 14th International Symposium on Trends in Functional Programming, TFP 2013, held in Provo, UT, USA in May 2013. The 10 revised full papers included in this volume were carefully and selected from 27 submissions. They cover topics such as distributed systems, education, functional language implementation, hardware synthesis, static analysis, testing, and total programming.

There are no comments on this title.

to post a comment.