https://wiki.tfpie.science.ru.nl/api.php?action=feedcontributions&feedformat=atom&user=HeatherMillertfpie - User contributions [en]2026-04-27T09:05:09ZUser contributionsMediaWiki 1.43.0https://wiki.tfpie.science.ru.nl/index.php?title=TFPIE2018&diff=263TFPIE20182018-06-04T08:45:09Z<p>HeatherMiller: added keynote</p>
<hr />
<div>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.<br />
<br />
For further information, please navigate to http://www.ccs.neu.edu/home/heather/tfpie2018/.<br />
<br />
<br />
== Program ==<br />
<br />
<pre><br />
9-10: <br />
Keynote<br />
Functional Programming @Spotify <br />
Julien Tournay, Spotify <br />
When it comes to data-engineering, functional programming and Scala are natural choices at Spotify. <br />
The "flatmap" squad develops among other things Scio, an open-source functional Scala library that <br />
we use to write all of our data-pipelines. In this talk we'll give insights on the challenges of training <br />
experienced professionals with profiles ranging from data scientists to backend engineers to write <br />
production ready functional Scala code. We'll show how we support Spotifiers on a daily basis, and <br />
how we leverage power-users to build an internal community where people can share knowledge and <br />
help each other.<br />
<br />
10-10:30: <br />
Investigating compilation errors of students learning Haskell <br />
Boldizsár Németh, Eunjong Choi, Erina Makihara and Hajimu Iida<br />
<br />
10:30-11: <br />
COFFEE BREAK<br />
<br />
11-11:30: <br />
Embedded Programming adopting Functional Constructs in Rust <br />
Per Lindgren, Marcus Lindner and Jorge Aparicio<br />
<br />
11:30-12: <br />
Vector Programming Using Generative Recursion <br />
Marco T. Morazan<br />
<br />
12-12:30: <br />
LUNCH<br />
<br />
13:30-14: <br />
FSM Error Messages <br />
Marco T. Morazan and Josephine Des Rosiers<br />
<br />
14-14:30: <br />
Induction via Recursion: A Proofs-as-Programs Approach to Math Education <br />
Youyou Cong and Akiko Mito<br />
<br />
14:30-15: <br />
COFFEE BREAK<br />
<br />
15-15:30: <br />
Examples and Results from a BSc-level Course on Domain Specific Languages of Mathematics <br />
Patrik Jansson, Sólrún Halla Einarsdóttir and Cezar Ionescu<br />
<br />
15:30-16: <br />
Stepping OCaml <br />
Tsukino Furukawa, Youyou Cong and Kenichi Asai<br />
<br />
16-16:30: <br />
Introducing Certified Compilation in Education by a Functional Language Approach <br />
Per Lindgren and Marcus Lindner<br />
<br />
16:30-17: <br />
Inclusive Programming with Truly Visual Polymorphic Algebraic Data Structures through Maramafication <br />
Chide Groenouwe<br />
</pre></div>HeatherMillerhttps://wiki.tfpie.science.ru.nl/index.php?title=TFPIE2018&diff=262TFPIE20182018-05-30T16:03:17Z<p>HeatherMiller: Preliminary program</p>
<hr />
<div>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.<br />
<br />
For further information, please navigate to http://www.ccs.neu.edu/home/heather/tfpie2018/.<br />
<br />
<br />
== Program ==<br />
<br />
<pre><br />
9-10: <br />
Keynote (TBD)<br />
<br />
10-10:30: <br />
Investigating compilation errors of students learning Haskell <br />
Boldizsár Németh, Eunjong Choi, Erina Makihara and Hajimu Iida<br />
<br />
10:30-11: <br />
COFFEE BREAK<br />
<br />
11-11:30: <br />
Embedded Programming adopting Functional Constructs in Rust <br />
Per Lindgren, Marcus Lindner and Jorge Aparicio<br />
<br />
11:30-12: <br />
Vector Programming Using Generative Recursion <br />
Marco T. Morazan<br />
<br />
12-12:30: <br />
LUNCH<br />
<br />
13:30-14: <br />
FSM Error Messages <br />
Marco T. Morazan and Josephine Des Rosiers<br />
<br />
14-14:30: <br />
Induction via Recursion: A Proofs-as-Programs Approach to Math Education <br />
Youyou Cong and Akiko Mito<br />
<br />
14:30-15: <br />
COFFEE BREAK<br />
<br />
15-15:30: <br />
Examples and Results from a BSc-level Course on Domain Specific Languages of Mathematics <br />
Patrik Jansson, Sólrún Halla Einarsdóttir and Cezar Ionescu<br />
<br />
15:30-16: <br />
Stepping OCaml <br />
Tsukino Furukawa, Youyou Cong and Kenichi Asai<br />
<br />
16-16:30: <br />
Introducing Certified Compilation in Education by a Functional Language Approach <br />
Per Lindgren and Marcus Lindner<br />
<br />
16:30-17: <br />
Inclusive Programming with Truly Visual Polymorphic Algebraic Data Structures through Maramafication <br />
Chide Groenouwe<br />
</pre></div>HeatherMiller