TFPIE 2012 is the first International Workshop on Trends in Functional Programming in Education. It is co-located with TFP 2012 at the University of St. Andrews in Scotland.
Below you can find the draft papers and additional material provided by the participants of TFPIE 2012. The order is identical to the workshop program.
- How Computers Work: Computational Thinking for Everyone (Rex Page, Ruben Gamboa) TFPIE 2012: How Computers Work
- Mathematics Is Imprecise (Prabhakar Ragde) TFPIE2012: Mathematics is Imprecise
- Step-by-step tutorial of good abstraction design (Philip Hölzenspies) TFPIE2012: Good Abstraction Design
- Teaching generic programming (Pieter Koopman and Rinus Plasmeijer) TFPIE2012: Teaching Generic Programming
- Forty hours of declarative programming -- Teaching Prolog at the Junior College Utrecht (Jurriën Stutterheim, Wouter Swierstra, and Doaitse Swierstra) TFPIE2012: Forty Hours of Declarative Programming
- COMP 2650 Experience: Teaching Functional Programming to Non-Majors (Ashoke Deb) TFPIE2012: COMP 2650 Experience
- CS4204: Concurrency and Multicore Architectures (Kevin Hammond) TFPIE2012: Concurrency and Multicore Architectures
- Teaching Parallel Functional Programming at Chalmers (John Hughes and Mary Sheeran) TFPIE2012: Teaching Parallel FP at Chalmers
- Holmes for Haskell (Jurriaan Hage, Brian Vermeer and Gerben Verburg) TFPIE2012: Holmes for Haskell
- Intensive Programmes in Functional Programming (Viktória Zsók and Zoltán Horváth) TFPIE2012: Intensive Programs in FP
- The Recursion Schemes of Scientific Models -- A Multi-Paradigm Study of the Logistic Map in Haskell (Baltasar Trancón y Widemann) TFPIE2012: Recursion Schemes of Scientific Models
- Connecting the Dots: Computer Systems Education using a Functional Hardware Description Language (John O'Donnell) TFPIE2012: Connecting the Dots
- Tactile Terms (Philip Hölzenspies) TFPIE2012: Tactile Terms
- Teaching Functional Programming to Professional .NET Developers (Tomas Petricek) TFPIE2012: Teaching FP to .NET Developers
The workshop ends with a discussion on functional programming in education, science, and industry. It is led by Simon Thompson. TFPIE2012: Discussion
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 106. You can find the formal TFPIE 2012 proceedings. Alternatively, you can follow this link to arXiv.org.
- How Computers Work: Computational Thinking for Everyone (Rex Page, Ruben Gamboa)
- Connecting the Dots: Computer Systems Education using a Functional Hardware Description Language (John O'Donnell)
- Mathematics Is Imprecise (Prabhakar Ragde)
- Forty hours of declarative programming -- Teaching Prolog at the Junior College Utrecht (Jurriën Stutterheim, Wouter Swierstra, and Doaitse Swierstra)