Preface

This volume contains proceedings from the 12th International Workshop on Trends in Functional Programming in Education (TFPIE). The workshop was held at UMass Boston, Boston, Massachusetts, USA on January 12th 2023.

TFPIE series

The goal of TFPIE is to gather researchers, professors, teachers, and all professionals interested in functional programming in education. This includes the teaching of functional programming, but also the application of functional programming as a tool for teaching other topics, e.g. computational concepts, complexity, logic and reasoning, and even disciplines, e.g. philosophy or music. TFPIE is the heir of previous events, like Functional and Declarative Programming in Education (FDPE), to which it owes a great deal and from which it has borrowed experience and ideas. TFPIE workshops have previously been held in St Andrews, Scotland (2012), Provo Utah, USA (2013), Soesterberg, The Netherlands (2014), Sophia-Antipolis, France (2015), College Park, USA (2016), Canterbury, UK (2017), Gothenburg (2018) and Vancouver (2019), Krakow, Poland (2020) and online due to COVID-19 (2021, 2022, with some talks from TFPIE 2022 also presented in person at the Lambda Days in Krakow, Poland).

Programme and keynotes

TFPIE 2023 was honored to feature a keynote "How to Plan Programs" by Shriram Krishnamurthi. The sessions speakers were Brent Yorgey, Nadine Karsten, Frederik Krogsdal Jacobsen, Marco T. Morazán, Enzo Alda, Ole Lübke, Rui Barata, and Simão Melo-de-Sousa.

Submissions

TFPIE 2023 received, and accepted, six submissions for presentation at the workshop. The post-workshop review process received five submissions, which were reviewed by the program committee, assuming scientific journal standards of publication. Four articles were selected for publication as the result of this process.

Table of contents

1. Nadine Karsten, Frederik Krogsdal Jacobsen, Kim Jana Eiken, Uwe Nestmann and Jørgen Villadsen "ProofBuddy: A Proof Assistant for Learning and Monitoring"
2. Ole Lübke, Konrad Fuger, Fin Hendrik Bahnsen, Katrin Billerbeck and Sibylle Schupp "Computer Aided Design and Grading for an Electronic Functional Programming Exam"
3. Marco T. Morazán "Regular Expressions in a CS Formal Languages Course"
4. Brent Yorgey "Disco: A Functional Programming Language for Discrete Mathematics"

Concluding remarks

Many thanks to Stephen Chang (TFP 2023 chair) who organized an excellent in-person conference at UMass Boston and handled all of the related logistics. Finally, we would like to thank the members of the programme committee

• Christopher Anand - McMaster University, Canada
• Attila Egri-Nagy - Akita International University, Japan
• Jason Hemann - Seton Hall University, USA
• Kevin Kappelmann - Technical University of Munich, Germany
• Elena Machkasova (Chair) - University of Minnesota Morris, USA
• Kristina Sojakova - INRIA, France
• Jørgen Villadsen - Technical University of Denmark, Denmark

who worked very hard to provide the authors feedback for improving their papers. We hope that you enjoy reading the results!