Difference between revisions of "TFPIE2018"

From tfpie
(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