TFPIE2018

From tfpie
Jump to: navigation, search

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
Functional Programming @Spotify 
Julien Tournay, Spotify 
When it comes to data-engineering, functional programming and Scala are natural choices at Spotify. 
The "flatmap" squad develops among other things Scio, an open-source functional Scala library that 
we use to write all of our data-pipelines. In this talk we'll give insights on the challenges of training 
experienced professionals with profiles ranging from data scientists to backend engineers to write 
production ready functional Scala code. We'll show how we support Spotifiers on a daily basis, and 
how we leverage power-users to build an internal community where people can share knowledge and 
help each other.

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