From tfpie

The 8th International Workshop on Trends in Functional Programming in Education, TFPIE 2019, will be held on June 11, 2019 at the University of British Columbia, Canada. It is co-located with the Symposium on Trends in Functional Programming (TFP 2019) which takes place from June 12 - 14, 2019.

For further information, please navigate to

Preliminary program

Below you can find the preliminary program of TFPIE 2019.

The location where TFPIE will be held is the same as for TFP. That information is at

Please attach a pdf of your pre-submission for the other participants to look at. Also, you can upload and link to your slides here.

8:30 - 9:00 registration + welcome

9:00 - 10:00 invited talk Gregor Kiczales: Functional Programming at the Core of a High Throughput Software Engineering Curriculum

10:00 - 10:30 break

Session I [chair: Prabhakar Ragde]

10:30 - 11:00 How to Design while Loops [Marco T. Morazan]Slides

11:00 - 11:30 Haskell for Everyone: An IDE Created by Students [Barry Burd]

11:30 - 12:00 Modelling Distributed Computation with Petri Nets so Children Can Program Multiplayer Universes [Christopher Schankula, Lucas Dutton, Nhan Thai, Emily Ham, Jessica Schultz, Ankit Kapoor, Yumna Irfan, Padma Pasupathi, Stephanie Koehl, Tanya Bouman, Chitwan Sharma, Pedram Yazdinia, Curtis d'Alves and Christopher K. Anand]

12:00 - 13:45 lunch

Session II: [chair: Jurriaan Hage]

13:45 - 14:30 A Unified Framework for Purely-Functional Balanced Binary Search Trees (Best Lecture Presentation) [Prabhakar Ragde]

14:30 - 15:00 ComMotion: Using Animation to Illustrate Functional Programming Concepts [Barry Burd]

15:00 - 15:30 break

Session III: [chair: Marco Morazan]

15:30 - 16:00 Ray Tracing Motivating Application in Teaching Functional Programming [Pedro Figueirêdo, Yuri Kim, Nghia Le Minh, Evan Sitt, Xue Ying, and Viktoria Zsok]

16:00 - 16:30 Specifying Teletype Behavior for the Automated Handling of Exercises on Interactive Haskell Programs [Oliver Westphal and Janis Voigtländer]

16:30 - 16:55 plenary discussion

16:55 - 17:00 close