This book constitutes revised selected papers from the 22nd International Symposium on Trends in Functional Programming, TFP 2021, which was held virtually in February 2021. The 6 full papers presented in this volume were carefully reviewed and selected from 18 submissions. They…
This book constitutes the thoroughly refereed post-conference proceedings of the 12th International Symposium on Trends in Functional Programming, TFP 2011, held in Madrid, Spain, in May 2011. The 12 papers presented were carefully reviewed and selected from 21 submissions. They…
This book constitutes the thoroughly refereed post-conference proceedings of the 12th International Symposium on Trends in Functional Programming, TFP 2011, held in Madrid, Spain, in May 2011. The 12 papers presented were carefully reviewed and selected from 21 submissions. They…
This book constitutes revised selected papers from the 21st International Symposium on Trends in Functional Programming, TFP 2020, which was held in Krakow, Poland, during February 13-14, 2020. TFP is an international forum for researchers with interests in all aspects of functi…
This Festschrift celebrates Chris Hankin's career and was written on the occasion of his retirement. The volume collects contributions from colleagues, collaborators, and friends on various research themes that have marked Chris career, namely Logic and Type Theory for Programmi…
This Festschrift celebrates Chris Hankin's career and was written on the occasion of his retirement. The volume collects contributions from colleagues, collaborators, and friends on various research themes that have marked Chris career, namely Logic and Type Theory for Programmi…