Source author record

Peter Achten

Peter Achten appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

cs.CY Programming Languages Data Structures and Algorithms

Catalog footprint

What is connected

2works

3topics

3close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2014arXiv

Proceedings 3rd International Workshop on Trends in Functional Programming in Education

The goal of TFPIE is to gather researchers, professors, teachers, and all professionals interested in functional programming in education. This includes the teaching of functional programming, but also the application of functional programming as a tool for teaching other topics. The post-workshop review process received 13 submissions, which were vetted by the program committee, assuming scientific journal standards of publication. The six articles in this volume were selected for publication as the result of this process.

preprint2013arXiv

Proceedings First International Workshop on Trends in Functional Programming in Education

The First International Workshop on Trends in Functional Programming in Education, TFPIE 2012, was held on June 11, 2012 at the University of St Andrews in Scotland. The goal of TFPIE is to gather researchers, professors, teachers, and all professionals that use or are interested in the use of functional programming in education. Submissions were vetted by the TFPIE 2012 program committee using prevailing academic standards. The 4 articles in this volume were selected for publication as the result of this process. These articles cover a wide range of novel approaches in education using functional programming. Page and Gamboa describe how they introduce students to computational thinking and problem solving using logic and equation-based reasoning. O'Donnell describes efforts to make computer systems courses come alive through the use of simulation and a functional hardware description language. Radge describes a novel approach to CS1 exploiting the interplay of the imprecision found in mathematical abstractions and the precision that is required in programming. Stutterheim, Swierstra, and Swierstra describe a new approach to introduce high school students to programming and to important ideas in Computer Science using a web-based interpreter and theorem prover.