TFP

Keyphrases

Publications

2023

volume 13868, 2023

Trends in Functional Programming - 24th International Symposium, TFP 2023, Boston, MA, USA, January 13-15, 2023, Revised Selected Papers TFP 13868 (2023)

2022

Cas van der Rest, Casper Bach Poulsen
Towards a Language for Defining Reusable Programming Language Components - (Project Paper). TFP (2022)
Naoya Furudono, Youyou Cong, Hidehiko Masuhara, Daan Leijen
Towards Efficient Adjustment of Effect Rows. TFP (2022)
Mart Lubbers
Deep Embedding with Class. TFP (2022)
Kazuki Ikemori, Youyou Cong, Hidehiko Masuhara, Daan Leijen
Sound and Complete Type Inference for Closed Effect Rows. TFP (2022)
Ruslan Shevchenko
Project Paper: Embedding Generic Monadic Transformer into Scala - Can We Merge Monadic Programming into Mainstream? TFP (2022)
Tosca Klijnsma, Tim Steenvoorden
Semantic Equivalence of Task-Oriented Programs in TopHat. TFP (2022)
Sjoerd Crooijmans, Mart Lubbers, Pieter W. M. Koopman
Reducing the Power Consumption of IoT with Task-Oriented Programming. TFP (2022)
Youyou Cong, Kenichi Asai
Understanding Algebraic Effect Handlers via Delimited Control Operators. TFP (2022)
Johannes Hartmann, Jeremy Gibbons
Algorithm Design with the Selection Monad. TFP (2022)

volume 13401, 2022

Trends in Functional Programming - 23rd International Symposium, TFP 2022, Virtual Event, March 17-18, 2022, Revised Selected Papers TFP 13401 (2022)

2021

volume 12834, 2021

Trends in Functional Programming - 22nd International Symposium, TFP 2021, Virtual Event, February 17-19, 2021, Revised Selected Papers TFP 12834 (2021)

2020

volume 12222, 2020

Trends in Functional Programming - 21st International Symposium, TFP 2020, Krakow, Poland, February 13-14, 2020, Revised Selected Papers TFP 12222 (2020)

volume 12053, 2020

Trends in Functional Programming - 20th International Symposium, TFP 2019, Vancouver, BC, Canada, June 12-14, 2019, Revised Selected Papers TFP 12053 (2020)

2019

volume 11457, 2019

Trends in Functional Programming - 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11-13, 2018, Revised Selected Papers TFP 11457 (2019)

volume 10447, 2019

Trends in Functional Programming - 17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers TFP 10447 (2019)

2018

volume 10788, 2018

Trends in Functional Programming - 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers TFP 10788 (2018)