TFPIE2013 - Revision history

Peter88: /* Invited Speaker */

2014-12-12T08:46:38Z

Invited Speaker

← Older revision		Revision as of 08:46, 12 December 2014
Line 15:		Line 15:
	=== Invited Speaker ===		=== Invited Speaker ===
	It is our pleasure that Matthew Flatt has accepted our invitation to give an extensive invited talk! He will talk about how to create student programming languages.		It is our pleasure that Matthew Flatt has accepted our invitation to give an extensive invited talk! He will talk about how to create student programming languages.


			== 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 136.
			You can find [http://eptcs.web.cse.unsw.edu.au/content.cgi?TFPIE2013 the formal TFPIE 2013 proceedings].
			Alternatively, [http://arxiv.org/abs/1312.2216 you can follow this link to arXiv.org].

			# From Principles to Practice with Class in the First Year (Sam Tobin-Hochstadt, David Van Horn)
			# Structural Induction Principles for Functional Programmers (James Caldwell)

Peter88: /* Contributions */

2013-05-21T09:49:27Z

Contributions

← Older revision		Revision as of 09:49, 21 May 2013
Line 6:		Line 6:
	Below you can find the draft papers and additional material provided by the participants of TFPIE 2013. The order is identical to the workshop program.		Below you can find the draft papers and additional material provided by the participants of TFPIE 2013. The order is identical to the workshop program.

	# From Principles to Practice with Class in the First Year (Sam Tobin-Hochstadt, David Van Horn) [[File:TFPIE 2013_Principles_to_Practice_with_Class.pdf]]		# From Principles to Practice with Class in the First Year (Sam Tobin-Hochstadt, David Van Horn) [[File:TFPIE 2013_Principles_to_Practice_with_Class.pdf]] ([http://www.ccs.neu.edu/home/dvanhorn/talks/principles-to-practice-tfpie-2013.pdf slides of presentation])
	# Structural Induction Principles for Functional Programmers (James Caldwell) [[File:TFPIE2013_Structural_Induction_Principles.pdf]]		# Structural Induction Principles for Functional Programmers (James Caldwell) [[File:TFPIE2013_Structural_Induction_Principles.pdf]]
	# Hardware design in education using ClaSH (Rinse Wester, Jan Kuper, Christiaan Baaij) [[File:TFPIE2013_Hardware_Design_Using_Clash.pdf]]		# Hardware design in education using ClaSH (Rinse Wester, Jan Kuper, Christiaan Baaij) [[File:TFPIE2013_Hardware_Design_Using_Clash.pdf]]

Peter88: /* Contributions */

2013-05-12T22:34:03Z

Contributions

← Older revision		Revision as of 22:34, 12 May 2013
Line 7:		Line 7:

	# From Principles to Practice with Class in the First Year (Sam Tobin-Hochstadt, David Van Horn) [[File:TFPIE 2013_Principles_to_Practice_with_Class.pdf]]		# From Principles to Practice with Class in the First Year (Sam Tobin-Hochstadt, David Van Horn) [[File:TFPIE 2013_Principles_to_Practice_with_Class.pdf]]
	# Structural Induction Principles for Functional Programmers (James Caldwell) [[~~TFPIE2013~~: ~~Structural Induction Principles~~]]		# Structural Induction Principles for Functional Programmers (James Caldwell) [[File:TFPIE2013_Structural_Induction_Principles.pdf]]
	# Hardware design in education using ClaSH (Rinse Wester, Jan Kuper, Christiaan Baaij) [[~~TFPIE2013~~: ~~Hardware design using Clash~~]]		# Hardware design in education using ClaSH (Rinse Wester, Jan Kuper, Christiaan Baaij) [[File:TFPIE2013_Hardware_Design_Using_Clash.pdf]]
	# Racket Functional Programming to Elementary Mathematic Teachers (Dalit Levy) [[~~TFPIE2013~~: ~~Racket Functional Programming~~]]		# Racket Functional Programming to Elementary Mathematic Teachers (Dalit Levy) [[File:TFPIE2013_Racket_Functional_Programming.pdf]]
	# Functional Reactive Programming in K12 Education (John Peterson, Alan Cleary) [[~~TFPIE2013~~: ~~Functional Reactive Programming~~]]		# Functional Reactive Programming in K12 Education (John Peterson, Alan Cleary) [[File:TFPIE2013_Functional_Reactive_Programming.pdf]]
	# Steps towards teaching the Clojure programming language in an introductory CS class (Elena Machkasova, Stephen J Adams, Joe Einertson) [[~~TFPIE2013~~: ~~Steps towards teaching Clojure~~]]		# Steps towards teaching the Clojure programming language in an introductory CS class (Elena Machkasova, Stephen J Adams, Joe Einertson) [[File:TFPIE2013_Steps_Towards_Teaching_Clojure.pdf]]

	=== Invited Speaker ===		=== Invited Speaker ===
	It is our pleasure that Matthew Flatt has accepted our invitation to give an extensive invited talk! He will talk about how to create student programming languages.		It is our pleasure that Matthew Flatt has accepted our invitation to give an extensive invited talk! He will talk about how to create student programming languages.

Peter88: /* Contributions */

2013-05-12T22:29:46Z

Contributions

← Older revision		Revision as of 22:29, 12 May 2013
Line 6:		Line 6:
	Below you can find the draft papers and additional material provided by the participants of TFPIE 2013. The order is identical to the workshop program.		Below you can find the draft papers and additional material provided by the participants of TFPIE 2013. The order is identical to the workshop program.

	# From Principles to Practice with Class in the First Year (Sam Tobin-Hochstadt, David Van Horn) [[TFPIE ~~2013: Principles to Practice~~]]		# From Principles to Practice with Class in the First Year (Sam Tobin-Hochstadt, David Van Horn) [[File:TFPIE 2013_Principles_to_Practice_with_Class.pdf]]
	# Structural Induction Principles for Functional Programmers (James Caldwell) [[TFPIE2013: Structural Induction Principles]]		# Structural Induction Principles for Functional Programmers (James Caldwell) [[TFPIE2013: Structural Induction Principles]]
	# Hardware design in education using ClaSH (Rinse Wester, Jan Kuper, Christiaan Baaij) [[TFPIE2013: Hardware design using Clash]]		# Hardware design in education using ClaSH (Rinse Wester, Jan Kuper, Christiaan Baaij) [[TFPIE2013: Hardware design using Clash]]

Peter88: /* TFPIE 2013 */

2013-05-12T22:23:22Z

TFPIE 2013

← Older revision		Revision as of 22:23, 12 May 2013
Line 2:		Line 2:
	TFPIE 2013 is the second International Workshop on Trends in Functional Programming in Education. It is co-located with TFP 2013 at Brigham Young University, Provo, Utah, USA.		TFPIE 2013 is the second International Workshop on Trends in Functional Programming in Education. It is co-located with TFP 2013 at Brigham Young University, Provo, Utah, USA.
	For more information, consult [http://wwwhome.ewi.utwente.nl/~holzenspiespkf/TFPIE2013.html the current home page of TFPIE 2013].		For more information, consult [http://wwwhome.ewi.utwente.nl/~holzenspiespkf/TFPIE2013.html the current home page of TFPIE 2013].

			=== Contributions ===
			Below you can find the draft papers and additional material provided by the participants of TFPIE 2013. The order is identical to the workshop program.

			# From Principles to Practice with Class in the First Year (Sam Tobin-Hochstadt, David Van Horn) [[TFPIE 2013: Principles to Practice]]
			# Structural Induction Principles for Functional Programmers (James Caldwell) [[TFPIE2013: Structural Induction Principles]]
			# Hardware design in education using ClaSH (Rinse Wester, Jan Kuper, Christiaan Baaij) [[TFPIE2013: Hardware design using Clash]]
			# Racket Functional Programming to Elementary Mathematic Teachers (Dalit Levy) [[TFPIE2013: Racket Functional Programming]]
			# Functional Reactive Programming in K12 Education (John Peterson, Alan Cleary) [[TFPIE2013: Functional Reactive Programming]]
			# Steps towards teaching the Clojure programming language in an introductory CS class (Elena Machkasova, Stephen J Adams, Joe Einertson) [[TFPIE2013: Steps towards teaching Clojure]]

			=== Invited Speaker ===
			It is our pleasure that Matthew Flatt has accepted our invitation to give an extensive invited talk! He will talk about how to create student programming languages.

Peter88: /* TFPIE 2013 */

2013-03-15T12:27:29Z

TFPIE 2013

← Older revision		Revision as of 12:27, 15 March 2013
Line 1:		Line 1:
	== TFPIE 2013 ==		== TFPIE 2013 ==
	TFPIE 2013 is the second International Workshop on Trends in Functional Programming in Education. It is co-located with TFP 2013 at Brigham Young University, Provo, Utah, USA.		TFPIE 2013 is the second International Workshop on Trends in Functional Programming in Education. It is co-located with TFP 2013 at Brigham Young University, Provo, Utah, USA.
			For more information, consult [http://wwwhome.ewi.utwente.nl/~holzenspiespkf/TFPIE2013.html the current home page of TFPIE 2013].

Peter88: Created page with "== TFPIE 2013 == TFPIE 2013 is the second International Workshop on Trends in Functional Programming in Education. It is co-located with TFP 2013 at Brigham Young University, Pro..."

2013-03-15T12:26:14Z

Created page with "== TFPIE 2013 == TFPIE 2013 is the second International Workshop on Trends in Functional Programming in Education. It is co-located with TFP 2013 at Brigham Young University, Pro..."

New page

== TFPIE 2013 ==
TFPIE 2013 is the second International Workshop on Trends in Functional Programming in Education. It is co-located with TFP 2013 at Brigham Young University, Provo, Utah, USA.