Skip to main content
  • Conference proceedings
  • © 2020

Trends in Functional Programming

20th International Symposium, TFP 2019, Vancouver, BC, Canada, June 12–14, 2019, Revised Selected Papers

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

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

Buy it now

Buying options

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 (6 papers)

  1. Front Matter

    Pages i-vii
  2. Quotients by Idempotent Functions in Cedille

    • Andrew Marmaduke, Christopher Jenkins, Aaron Stump
    Pages 1-20
  3. Verifying Selective CPS Transformation for Shift and Reset

    • Chiaki Ishio, Kenichi Asai
    Pages 38-57
  4. How to Specify It!

    • John Hughes
    Pages 58-83
  5. Type Inference for Rank 2 Gradual Intersection Types

    • Pedro Ângelo, Mário Florido
    Pages 84-120
  6. Set Constraints, Pattern Match Analysis, and SMT

    • Joseph Eremondi
    Pages 121-141
  7. Back Matter

    Pages 143-143

Other Volumes

  1. Trends in Functional Programming

About this book

This book constitutes the thoroughly refereed revised selected papers of the 20th International Symposium on Trends in Functional Programming, TFP 2019, held in Vancouver, Canada, in June 2019. The 6 revised full papers were selected from 11 submissions and present papers 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

  • University of British Columbia, Vancouver, Canada

    William J. Bowman, Ronald Garcia

Bibliographic Information

Buy it now

Buying options

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