Advertisement

Trends in Functional Programming

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

  • David Van Horn
  • John Hughes
Conference proceedings TFP 2016

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

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 10447)

Table of contents

  1. Front Matter
    Pages I-IX
  2. Implementation Techniques

    1. Front Matter
      Pages 1-1
    2. Michael Greenberg
      Pages 3-23
    3. George Stelle, Darko Stefanovic, Stephen L. Olivier, Stephanie Forrest
      Pages 24-43
    4. Ruochen Huang, Hidehiko Masuhara, Tomoyuki Aotani
      Pages 44-58
  3. Types and Verification

    1. Front Matter
      Pages 59-59
    2. Andreas Arvidsson, Moa Johansson, Robin Touche
      Pages 61-74
    3. Nico Naus, Peter Thiemann
      Pages 75-93
  4. Programming

    1. Front Matter
      Pages 113-113
    2. Ananda Guneratne, Chad Reynolds, Aaron Stump
      Pages 115-134
    3. Mark Grebe, Andy Gill
      Pages 135-154
    4. Kyle Headley, Matthew A. Hammer
      Pages 155-171
    5. Nico Naus, Johan Jeuring
      Pages 172-191
  5. Back Matter
    Pages 193-193

About these proceedings

Introduction

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. 

Keywords

artificial intelligence functional programming haskell program compilers programming languages semantics type inferences type systems type theory functional languages embedded software run-time environments just-in-time compilers programming logic data structures design and analysis data types and structures program reasoning formal software verification dynamic analysis lambda calculus

Editors and affiliations

  1. 1.University of MarylandCollege ParkUSA
  2. 2.Chalmers University of TechnologyGothenburgSweden

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-030-14805-8
  • Copyright Information Springer Nature Switzerland AG 2019
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-030-14804-1
  • Online ISBN 978-3-030-14805-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site