Difference between revisions of "TFPIE2013"
| (One intermediate revision by the same user not shown) | |||
| 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]] | ||
| 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) | ||
Latest revision as of 09:46, 12 December 2014
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.
- 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 (slides of presentation)
- 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
- 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) 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) File:TFPIE2013 Steps Towards Teaching Clojure.pdf
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.
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 the formal TFPIE 2013 proceedings. Alternatively, 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)