Difference between revisions of "TFPIE2018"
Jump to navigation
Jump to search
(→TFP'18) |
(Preliminary program) |
||
| Line 2: | Line 2: | ||
For further information, please navigate to http://www.ccs.neu.edu/home/heather/tfpie2018/. | For further information, please navigate to http://www.ccs.neu.edu/home/heather/tfpie2018/. | ||
| + | |||
| + | |||
| + | == Program == | ||
| + | |||
| + | <pre> | ||
| + | 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 | ||
| + | </pre> | ||
Revision as of 18:03, 30 May 2018
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