Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2019

Trends in Functional Programming

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

Editors:

  1. David Van Horn

    1. University of Maryland, College Park, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. John Hughes

    1. Chalmers University of Technology, Gothenburg, Sweden

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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)

Conference series link(s): TFP: International Symposium on Trends in Functional Programming

Conference proceedings info: TFP 2016.

Sections

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

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

Table of contents (10 papers)

  1. Front Matter

    Pages I-IX
    PDF

  2. Implementation Techniques

    1. Front Matter

      Pages 1-1
      PDF

    2. Space-Efficient Latent Contracts

      • Michael Greenberg
      Pages 3-23

    3. Cactus Environment Machine

      • George Stelle, Darko Stefanovic, Stephen L. Olivier, Stephanie Forrest
      Pages 24-43

    4. Improving Sequential Performance of Erlang Based on a Meta-tracing Just-In-Time Compiler

      • Ruochen Huang, Hidehiko Masuhara, Tomoyuki Aotani
      Pages 44-58

  3. Types and Verification

    1. Front Matter

      Pages 59-59
      PDF

    2. Proving Type Class Laws for Haskell

      • Andreas Arvidsson, Moa Johansson, Robin Touche
      Pages 61-74

    3. Dynamic Flow Analysis for JavaScript

      • Nico Naus, Peter Thiemann
      Pages 75-93

    4. A Type Inference System Based on Saturation of Subtyping Constraints

      • Benoît Vaugon, Michel Mauny
      Pages 94-112

  4. Programming

    1. Front Matter

      Pages 113-113
      PDF

    2. Project Report: Dependently Typed Programming with Lambda Encodings in Cedille

      • Ananda Guneratne, Chad Reynolds, Aaron Stump
      Pages 115-134

    3. Threading the Arduino with Haskell

      • Mark Grebe, Andy Gill
      Pages 135-154

    4. The Random Access Zipper

      • Kyle Headley, Matthew A. Hammer
      Pages 155-171

    5. Building a Generic Feedback System for Rule-Based Problems

      • Nico Naus, Johan Jeuring
      Pages 172-191

  5. Back Matter

    Pages 193-193
    PDF
Back to top

Other Volumes

  1. Trends in Functional Programming

Back to top

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. 
Back to top

Keywords

Back to top

Editors and Affiliations

  • University of Maryland, College Park, USA

    David Van Horn

  • Chalmers University of Technology, Gothenburg, Sweden

    John Hughes

Back to top

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

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Search

Navigation