Difference between revisions of "TFPIE2018"
Jump to navigation
Jump to search
(Preliminary program) |
|||
| (One intermediate revision by one other user not shown) | |||
| Line 8: | Line 8: | ||
<pre> | <pre> | ||
9-10: | 9-10: | ||
| − | Keynote | + | 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: | 10-10:30: | ||
| Line 55: | Line 64: | ||
Chide Groenouwe | Chide Groenouwe | ||
</pre> | </pre> | ||
| + | |||
| + | |||
| + | == EPTCS Proceedings == | ||
| + | After the workshop all authors have been invited to submit a formal paper for the post-workshop formal proceedings. This has resulted in accepting the below mentioned papers. | ||
| + | These formal proceedings have been published by EPTCS volume 295. | ||
| + | You can find [http://eptcs.web.cse.unsw.edu.au/content.cgi?TFPIE2018 the formal TFPIE 2018 proceedings]. | ||
| + | |||
| + | # FSM Error Messages (Marco T. Morazán and Josephine A. Des Rosiers) | ||
| + | # Stepping OCaml (Tsukino Furukawa, Youyou Cong and Kenichi Asai) | ||
| + | # Vector Programming Using Generative Recursion (Marco T. Morazán) | ||
| + | # Investigating Compilation Errors of Students Learning Haskell (Boldizsár Németh, Eunjong Choi, Erina Makihara and Hajimu Iida) | ||
| + | # Introducing Certified Compilation in Education by a Functional Language Approach (Per Lindgren, Marcus Lindner and Nils Fitinghoff) | ||
| + | # 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) | ||
Latest revision as of 12:19, 22 June 2019
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
EPTCS Proceedings
After the workshop all authors have been invited to submit a formal paper for the post-workshop formal proceedings. This has resulted in accepting the below mentioned papers. These formal proceedings have been published by EPTCS volume 295. You can find the formal TFPIE 2018 proceedings.
- FSM Error Messages (Marco T. Morazán and Josephine A. Des Rosiers)
- Stepping OCaml (Tsukino Furukawa, Youyou Cong and Kenichi Asai)
- Vector Programming Using Generative Recursion (Marco T. Morazán)
- Investigating Compilation Errors of Students Learning Haskell (Boldizsár Németh, Eunjong Choi, Erina Makihara and Hajimu Iida)
- Introducing Certified Compilation in Education by a Functional Language Approach (Per Lindgren, Marcus Lindner and Nils Fitinghoff)
- 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)