TFPIE2012

From tfpie
Jump to: navigation, search

TFPIE 2012

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.

Contributions

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.

  1. How Computers Work: Computational Thinking for Everyone (Rex Page, Ruben Gamboa) TFPIE 2012: How Computers Work
  2. Mathematics Is Imprecise (Prabhakar Ragde) TFPIE2012: Mathematics is Imprecise
  3. Step-by-step tutorial of good abstraction design (Philip Hölzenspies) TFPIE2012: Good Abstraction Design
  4. Teaching generic programming (Pieter Koopman and Rinus Plasmeijer) TFPIE2012: Teaching Generic Programming
  5. 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
  6. COMP 2650 Experience: Teaching Functional Programming to Non-Majors (Ashoke Deb) TFPIE2012: COMP 2650 Experience
  7. CS4204: Concurrency and Multicore Architectures (Kevin Hammond) TFPIE2012: Concurrency and Multicore Architectures
  8. Teaching Parallel Functional Programming at Chalmers (John Hughes and Mary Sheeran) TFPIE2012: Teaching Parallel FP at Chalmers
  9. Holmes for Haskell (Jurriaan Hage, Brian Vermeer and Gerben Verburg) TFPIE2012: Holmes for Haskell
  10. Intensive Programmes in Functional Programming (Viktória Zsók and Zoltán Horváth) TFPIE2012: Intensive Programs in FP
  11. 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
  12. Connecting the Dots: Computer Systems Education using a Functional Hardware Description Language (John O'Donnell) TFPIE2012: Connecting the Dots
  13. Tactile Terms (Philip Hölzenspies) TFPIE2012: Tactile Terms
  14. 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

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 106. You can find the formal TFPIE 2012 proceedings. Alternatively, you can follow this link to arXiv.org.

  1. How Computers Work: Computational Thinking for Everyone (Rex Page, Ruben Gamboa)
  2. Connecting the Dots: Computer Systems Education using a Functional Hardware Description Language (John O'Donnell)
  3. Mathematics Is Imprecise (Prabhakar Ragde)
  4. Forty hours of declarative programming -- Teaching Prolog at the Junior College Utrecht (Jurriën Stutterheim, Wouter Swierstra, and Doaitse Swierstra)