Difference between revisions of "TFPIE2012"
Jump to navigation
Jump to search
Ben Polman (talk | contribs) m |
|||
| (4 intermediate revisions by 4 users not shown) | |||
| Line 1: | Line 1: | ||
== TFPIE 2012 == | == 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. | ||
# How Computers Work: Computational Thinking for Everyone (Rex Page, Ruben Gamboa) [[TFPIE 2012: How Computers Work]] | # How Computers Work: Computational Thinking for Everyone (Rex Page, Ruben Gamboa) [[TFPIE 2012: How Computers Work]] | ||
| Line 9: | Line 12: | ||
# COMP 2650 Experience: Teaching Functional Programming to Non-Majors (Ashoke Deb) [[TFPIE2012: COMP 2650 Experience]] | # 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]] | # CS4204: Concurrency and Multicore Architectures (Kevin Hammond) [[TFPIE2012: Concurrency and Multicore Architectures]] | ||
| − | # Teaching Functional Programming | + | # Teaching Parallel Functional Programming at Chalmers (John Hughes and Mary Sheeran) [[TFPIE2012: Teaching Parallel FP at Chalmers]] |
| − | # Holmes for Haskell (Jurriaan Hage | + | # 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]] | # 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]] | # 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]] | # 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]] | # 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]] | 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 [http://rvg.web.cse.unsw.edu.au/eptcs/content.cgi?TFPIE2012 the formal TFPIE 2012 proceedings]. | ||
| + | Alternatively, [http://arxiv.org/abs/1301.4650 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) | ||
Latest revision as of 13:59, 26 May 2014
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.
- 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
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.
- 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)