TFPIE2018 - Revision history

WikiSysop: /* EPTCS proceedings */

2019-06-22T10:19:10Z

EPTCS proceedings

← Older revision		Revision as of 10:19, 22 June 2019
Line 64:		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)

HeatherMiller: added keynote

2018-06-04T08:45:09Z

added keynote

← Older revision		Revision as of 08:45, 4 June 2018
Line 8:		Line 8:
	<pre>		<pre>
	9-10:		9-10:
	Keynote ~~(TBD)~~		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:

HeatherMiller: Preliminary program

2018-05-30T16:03:17Z

Preliminary program

← Older revision		Revision as of 16:03, 30 May 2018
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>

Peter88: /* TFP'18 */

2018-03-05T12:38:15Z

TFP'18

New page

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/.