Difference between revisions of "TFPIE2013"

From tfpie
(TFPIE 2013)
(TFPIE 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.

Revision as of 00:23, 13 May 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. For more information, consult 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.

  1. From Principles to Practice with Class in the First Year (Sam Tobin-Hochstadt, David Van Horn) TFPIE 2013: Principles to Practice
  2. Structural Induction Principles for Functional Programmers (James Caldwell) TFPIE2013: Structural Induction Principles
  3. Hardware design in education using ClaSH (Rinse Wester, Jan Kuper, Christiaan Baaij) TFPIE2013: Hardware design using Clash
  4. Racket Functional Programming to Elementary Mathematic Teachers (Dalit Levy) TFPIE2013: Racket Functional Programming
  5. Functional Reactive Programming in K12 Education (John Peterson, Alan Cleary) TFPIE2013: Functional Reactive Programming
  6. 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.