Trends in Functional Programming

June 12—14, 2019

Vancouver, BC, CA

Public Domain from Wikimedia Commons

The symposium on Trends in Functional Programming (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. See the the call for papers for more details about contributions.

TFP 2019 will be the main event of a pair of functional programming events, and will take place June 12—14, 2019. TFP 2019 will be accompanied by the International Workshop on Trends in Functional Programming in Education (TFPIE), which will take place on June 11, 2019.

The general chairs are Ron Garcia and William J. Bowman . Contact them general questions. For problems with this website, file a report on .

Nikhil Swamy, Microsoft Research

Structuring the Verification of Imperative Programs with Functional Programming

John Hughes, Chalmers University of Technology

Experiences with QuickCheck: Testing the Hard Stuff and Staying Sanei

Frank Wood, University of British Columbia

Probabilistic Programming

Anglican Tutorial: Turing-complete, functional Probabilistic Programming as a Domain Specific Language