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 Functional Programming to Professional .NET Developers (Tomas Petricek) TFPIE2012: Teaching FP to .NET Developers
- 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
The workshop ends with a discussion on functional programming in education, science, and industry. It is led by Simon Thompson. TFPIE2012: Discussion