Trends in functional programming : 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers / edited by Jay McCarthy.

By: (14th : International Symposium on Trends in Functional Programming (14th : 2013 : Provo, Utah)Contributor(s): McCarthy, Jay (Computer scientist) [editor.]Material type: Text

TextSeries: Serienbezeichnung | Lecture notes in computer science ; 8322. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Publisher: Heidelberg : Springer, 2014Description: 1 online resource (x, 169 pages) : illustrationsContent type: text Media type: computer Carrier type: online resourceISBN: 9783642453403; 3642453406; 3642453392; 9783642453397Other title: TFP 2013Subject(s): Functional programming (Computer science) -- Congresses | Logic design -- Computer programs -- Congresses | Data structures (Computer science) -- Congresses | Data structures (Computer science) | Functional programming (Computer science) | Logic design -- Computer programsGenre/Form: Electronic books. | Ebook. | Conference papers and proceedings. Additional physical formats: Printed edition:: No titleDDC classification: 005.1/3 LOC classification: QA76.62Online resources: Click here to access online Summary: 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.

Average rating: 0.0 (0 votes)

Holdings ( 1 )
Title notes ( 3 )

Holdings
Item type	Current library	Collection	Call number	Status	Date due	Barcode	Item holds
eBook	e-Library Electronic Book@IST	EBook		Available

Total holds: 0

Includes author index.

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.

Online resource; title from PDF title page (SpringerLink, viewed December 10, 2013).