Skip to main content
  • Conference proceedings
  • © 2016

Trends in Functional Programming

16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers

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

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 2015.

Buy it now

Buying options

eBook USD 34.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 44.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 (8 papers)

  1. Front Matter

    Pages I-VII
  2. Lightweight Higher-Order Rewriting in Haskell

    • Emil Axelsson, Andrea Vezzosi
    Pages 1-21
  3. Towards a Theory of Reach

    • Jonathan Fowler, Graham Huttom
    Pages 22-39
  4. Functional Testing of Java Programs

    • Clara Benac Earle, Lars-Ã…ke Fredlund
    Pages 40-59
  5. Type Class Instances for Type-Level Lambdas in Haskell

    • Thijs Alkemade, Johan Jeuring
    Pages 60-84
  6. Laminar Data Flow: On the Role of Slicing in Functional Data-Flow Programming

    • Baltasar Trancón y Widemann, Markus Lepper
    Pages 85-103
  7. A Shallow Embedded Type Safe Extendable DSL for the Arduino

    • Pieter Koopman, Rinus Plasmeijer
    Pages 104-123
  8. Programmable Signatures

    • Anders Persson, Emil Axelsson
    Pages 124-135
  9. Termination Proofs for Recursive Functions in FoCaLiZe

    • Catherine Dubois, François Pessaux
    Pages 136-156
  10. Back Matter

    Pages 157-157

Other Volumes

  1. Trends in Functional Programming

About this book

This book constitutes the thoroughly refereed revised selected papers of the 16th International Symposium on Trends in Functional Programming, TFP 2015, held in Sophia Antipolis, France, in June 2015. The 8 revised full papers included in this volume were carefully and selected from 26 submissions. TFP is an international forum for researchers with interests in all aspects of functional programming, taking a broad view of current and future trends in the area. It aspires to be a lively environment for presenting the latest research results, and other contributions, described in draft papers submitted prior to the symposium.

Editors and Affiliations

  • INRIA Sophia Antipolis, Sophia Antipolis, France

    Manuel Serrano

  • Dept.Information and Computing Sc., Utrecht University, Utrecht, The Netherlands

    Jurriaan Hage

Bibliographic Information

Buy it now

Buying options

eBook USD 34.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 44.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