Skip to main content

Trends in Functional Programming

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

  • Conference proceedings
  • © 2019

Overview

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 10447)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: TFP 2016.

  • 3319 Accesses

This is a preview of subscription content, log in via an institution to check access.

Access this book

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

About this book

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. 

Similar content being viewed by others

Keywords

Table of contents (10 papers)

  1. Implementation Techniques

  2. Types and Verification

  3. Programming

Other volumes

  1. Trends in Functional Programming

Editors and Affiliations

  • University of Maryland, College Park, USA

    David Van Horn

  • Chalmers University of Technology, Gothenburg, Sweden

    John Hughes

Bibliographic Information

  • Book Title: Trends in Functional Programming

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

  • Editors: David Van Horn, John Hughes

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/978-3-030-14805-8

  • Publisher: Springer Cham

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: Springer Nature Switzerland AG 2019

  • Softcover ISBN: 978-3-030-14804-1Published: 21 February 2019

  • eBook ISBN: 978-3-030-14805-8Published: 20 February 2019

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: IX, 193

  • Number of Illustrations: 424 b/w illustrations, 20 illustrations in colour

  • Topics: Programming Techniques, Programming Languages, Compilers, Interpreters, Artificial Intelligence

Publish with us