TFPIE2018

The 8th International Workshop on Trends in Functional Programming in Education, TFPIE 2018, will be held on June 14, 2018 at Chalmers University in Sweden. It is co-located with the Symposium on Trends in Functional Programming (TFP 2018) which takes place from June 11 - 13.

For further information, please navigate to http://www.ccs.neu.edu/home/heather/tfpie2018/.

Program

9-10: 
Keynote (TBD)

10-10:30: 
Investigating compilation errors of students learning Haskell 
Boldizsár Németh, Eunjong Choi, Erina Makihara and Hajimu Iida

10:30-11: 
COFFEE BREAK

11-11:30: 
Embedded Programming adopting Functional Constructs in Rust 
Per Lindgren, Marcus Lindner and Jorge Aparicio

11:30-12: 
Vector Programming Using Generative Recursion 
Marco T. Morazan

12-12:30: 
LUNCH

13:30-14: 
FSM Error Messages 
Marco T. Morazan and Josephine Des Rosiers

14-14:30: 
Induction via Recursion: A Proofs-as-Programs Approach to Math Education 
Youyou Cong and Akiko Mito

14:30-15: 
COFFEE BREAK

15-15:30: 
Examples and Results from a BSc-level Course on Domain Specific Languages of Mathematics 
Patrik Jansson, Sólrún Halla Einarsdóttir and Cezar Ionescu

15:30-16: 
Stepping OCaml 
Tsukino Furukawa, Youyou Cong and Kenichi Asai

16-16:30: 
Introducing Certified Compilation in Education by a Functional Language Approach 
Per Lindgren and Marcus Lindner

16:30-17: 
Inclusive Programming with Truly Visual Polymorphic Algebraic Data Structures through Maramafication 
Chide Groenouwe