tfpie - User contributions [en]

TFPIE2022

2022-03-15T20:03:55Z

Peter88: /* Keynote address (Chair: Marco Morazan) */

=Trends in Functional Programming in Education (TFPIE)=

Welcome! The 2022 edition of Trends in Functional Programming in Education will be held '''virtually on March 16th 2022''', together with TFP which will be held on March 17-18. Note that [https://www.lambdadays.org/lambdadays2022 ''Lambda Days''] in Krakow, Poland has been rescheduled to July 28-29, and authors of TFPIE accepted papers are welcome to present their papers at the Lambda Days, in addition to the virtual presentations in March.

The goal of TFPIE is to gather researchers, teachers and professionals that use, or are interested in the use of, functional programming in education. TFPIE aims to be a venue where novel ideas, classroom-tested ideas and work-in-progress on the use of functional programming in education are discussed. The one-day workshop will foster a spirit of open discussion by having a review process for publication after the workshop. The program chair of TFPIE 2022 will screen submissions to ensure that all presentations are within scope and are of interest to participants. After the workshop, presenters will be invited to submit revised versions of their articles for publication in the journal Electronic Proceedings in Theoretical Computer Science (EPTCS).

TFPIE workshops have previously been held in St Andrews, Scotland (2012), Provo Utah, USA (2013), Soesterberg, The Netherlands (2014), Sophia-Antipolis, France (2015), College Park, USA (2016), Canterbury, UK (2017), Gothenburg (2018) and Vancouver (2019), Krakow, Poland (2020) and online due to COVID-19 (2021).

== Announcement 1/7/2022, update 1/11/2022 ==

Due to the rescheduling of the Lambda Days to July 28-29 the TFPIE organizing committee decided to make the following changes:

* TFPIE 2022 will be held together with TFP 2022 '''virtually''' on March 16 2022
* The Lambda Days are inviting TFP and TFPIE speakers to give in-person presentations at the Lambda Days July 28-29 if they are able and interested (registration fee waived)
* The submission deadline for TFPIE is extended to February 7th 2022
* Authors' notification is February 11th, 2022 (but we are evaluating submissions on the ongoing basis)
* Submission for formal review is extended to April 29th 2022

== Topics ==
TFPIE 2022 welcomes submissions describing techniques used in the classroom, tools used in and/or developed for the classroom and any creative use of functional programming (FP) to aid education in or outside Computer Science. Topics of interest include, but are not limited to:

* FP and beginning CS students
* FP and Computational Thinking
* FP and Artificial Intelligence
* FP in Robotics
* FP and Music
* Advanced FP for undergraduates
* FP in graduate education
* Engaging students in research using FP
* FP in Programming Languages
* FP in the high school curriculum
* FP as a stepping stone to other CS topics
* FP and Philosophy
* The pedagogy of teaching FP
* FP and e-learning: MOOCs, automated assessment etc.
* Best Lectures more details below

In addition to papers, we are requesting best lecture presentations. What’s your best lecture topic in an FP related course? Do you have a fun way to present FP concepts to novices or perhaps an especially interesting presentation of a difficult topic? In either case, please consider sharing it. Best lecture topics will be selected for presentation based on a short abstract describing the lecture and its interest to TFPIE attendees.

[[Call For Papers 2022]]

== Important Dates ==

* Submission deadline: <s>January 5th 2022</s> February 7th 2022, Anywhere on Earth.
* Notification: <s>January 10th 2022</s> February 11th 2022
* TFPIE Registration Deadline:<s>February 2nd 2022</s> March 15th 2022
* Workshop: <s>February 11th 2022</s> March 16th 2022, followed by TFP March 17-18th
* Submission for formal review: <s>April 15th 2022</s> April 29th 2022, Anywhere on Earth.
* Notification of full article: June 1st 2022
* Camera ready: July 1st 2022
* Optional: presentation at the Lambda Days July 28-29, Krakow, Poland

== The Programme Committee ==

* [https://www.cs.ru.nl/P.Achten/ ''Peter Achten''], Radboud University, Netherlands
* [https://stchang.github.io/ ''Stephen Chang''], University of Massachusetts Boston, USA
* [http://www.cse.chalmers.se/~rjmh/''John Hughes''], Chalmers University of Technology, Sweden
* [http://cda.morris.umn.edu/~elenam/ ''Elena Machkasova (Chair)''] - University of Minnesota Morris, USA
* [https://who.rocq.inria.fr/Kristina.Sojakova/ ''Kristina Sojakova''] - INRIA, Paris, France
* [https://www.inf.elte.hu/en/staff/melinda-toth ''Melinda Tóth''], Eötvös Loránd University, Budapest, Hungary

== How To Submit ==
Potential presenters are invited to submit an extended abstract (4-6 pages) or a draft paper (up to 20 pages) in EPTCS style. The authors of accepted presentations will have their preprints and their slides made available on the workshop's website. Papers and abstracts can be submitted via easychair at the following link:

[https://easychair.org/conferences/?conf=tfpie2022 EasyChair TFPIE 2022]

After the workshop, presenters are invited to submit (a revised version of) their article for review. The PC will select the best articles for publication in the Electronic Proceedings in Theoretical Computer Science (EPTCS). Articles rejected for presentation and extended abstracts will not be formally reviewed by the PC.

== Invited Speaker ==
Our keynote talk is "The perfect Functional Programming course" by Peter Achten.

== How To Register ==
<s>TFPIE is part of [https://www.lambdadays.org/lambdadays2022 Lambda Days 2022]. To register, please visit the [https://www.lambdadays.org/lambdadays2022#register Lambda Days 2022 registration page].</s>

TFPIE, together with TFP, will be held virtually on March 16-18th (TFPIE: March 16, TFP: March 17-18). '''Click [https://forms.gle/aFHRmSJuCa5E8UGR6 here] to register.''' </br>
Registration is for both TFP and TFPIE. There is no registration fee. The zoom links will be sent to the registered participants shortly before the start of the conference.

Only papers that have been presented at TFPIE may be submitted to the post-reviewing process. Note that this implies that at least one of the authors has registered for TFPIE 2022 and has presented the work at the workshop.

Note that the Lambda Days in Krakow, Poland has been rescheduled to July 28-29, and authors of TFPIE accepted papers are welcome to present their papers at the Lambda Days, in addition to the virtual presentations in March.

== Program ==

Below you can find the program of TFPIE 2022. Note that all times are in [https://savvytime.com/converter/utc UTC time] (US participants - please be aware of the daylight saving time starting on Sunday March 13th!).

Please attach a pdf of your pre-submission for the other participants to look at. Also, you can upload and link to your slides here (or send them to: elenam at morris dot umn dot edu).

[[11:00 - 11:10]] Welcome

==== Presentation session 1 (Chair: Youyou Cong) ====

[[11:10 - 11:30]] '''Functional programming learning path''' ''Lidia Gorodnyaya and Dmitry Kondratyev'' - A.P. Ershov Institute of Informatics Systems, Siberian Branch of the Russian Academy of Sciences, Novosibirsk, Russia

[[11:35 - 11:55]] '''Teaching Simple Constructive Proofs with Haskell Programs''' ''Matthew Farrugia-Roberts and Harald Sondergaard'' - The University of Melbourne, Melbourne, Australia
* [[Media:Farrugia-Roberts_and_Sondergaard_TFPIE_2022_extended_abstract.pdf|Extended Abstract]]
* [[Media:Farrugia-Roberts_and_Sondergaard_TFPIE_2022_slides.pdf|Presentation Slides]]

==== Presentation session 2 (Chair: Peter Achten) ====

[[12:00 - 12:20]] '''Towards Type-Based Music Composition''' ''Youyou Cong'' - Tokyo Institute of Technology, Tokyo, Japan
* [https://drive.google.com/file/d/1GZalMD3T5YFVfIO4xeUL4G35Y4pURFDE/view?usp=sharing Extended Abstract]
* [https://drive.google.com/file/d/1M_ezk5ZA9_39CrNo3KQBBdI0DeJ_3xSf/view?usp=sharing Presentation Slides]

[[12:25 - 12:45]] '''Teaching Functional Programmers Logic and Metatheory''' ''Frederik Krogsdal Jacobsen and Jørgen Villadsen'' - Technical University of Denmark, Copenhagen, Denmark

==== Hello tables ====

[[12:45 - 13:15]] Hellos and mingling in breakout rooms

[[13:15 - 13:30]] Coffee break (zoom on)

==== Keynote address (Chair: Marco Morazan) ====

[[13:30 - 14:30]] '''Keynote: The Perfect Functional Programming Course''' ''Peter Achten'' - Radboud University Nijmegen, The Netherlands
* [[File:Keynote_TFPIE_2022_The_Perfect_FP_Course.pdf]]

[[14:30 - 15:00]] Break (zoom off)

==== Presentation session 3 (Chair: Christopher Anand) ====

[[15:00 - 15:20]] '''Engaging, Large-Scale Functional Programming Education in Physical and Virtual Space''' ''Kevin Kappelmann, Jonas Rädle and Lukas Stevens'' - Technical University of Munich, Munich, Germany
* [https://github.com/kappelmann/engaging-large-scale-functional-programming/releases/download/pdf/engaging_fp_education.pdf Paper Draft]
* [https://github.com/kappelmann/engaging-large-scale-functional-programming/ Resources Repository]

[[15:25 - 15:45]] '''Introduction to Functional Classes in CS1''' ''Marco T. Morazan'' - Seton Hall University, New Jersey, USA
* [[File:Intro-Func-Objects-CS1.pdf]]
* [[File:Slides-tfpie2022.pdf]]

[[15:45 - 16:00]] Coffee break (zoom on)

==== Presentation session 4 (Chair: Elena Machkasova) ====

[[16:00 - 16:20]] '''Teaching Interaction using State Diagrams''' ''Padma Pasupathi, Christopher Schankula, Nicole DiVincenzo, Sarah Coker and Christopher Anand'' - McMaster University, Hamilton, Ontario, Canada

[[16:25 - 16:45]] '''Toward Smart Mentor Dispatch: Can we predict when children need help to overcome errors or other roadblocks?''' ''Chinmay Sheth, Vaitheeka Nallasamy, Kruthiga Karunakaran and Christopher K. Anand'' - McMaster University, Hamilton, Ontario, Canada

[[16:45 - 17:30]] Wrap-up, followed by breakout rooms

File:Keynote TFPIE 2022 The Perfect FP Course.pdf

2022-03-15T20:02:45Z

Peter88: Peter88 uploaded a new version of File:Keynote TFPIE 2022 The Perfect FP Course.pdf

== Summary ==
Slides keynote "The Perfect Functional Programming Course" by Peter Achten

TFPIE2022

2022-03-15T07:59:59Z

Peter88: /* Keynote address (Chair: Marco Morazan) */

=Trends in Functional Programming in Education (TFPIE)=

Welcome! The 2022 edition of Trends in Functional Programming in Education will be held '''virtually on March 16th 2022''', together with TFP which will be held on March 17-18. Note that [https://www.lambdadays.org/lambdadays2022 ''Lambda Days''] in Krakow, Poland has been rescheduled to July 28-29, and authors of TFPIE accepted papers are welcome to present their papers at the Lambda Days, in addition to the virtual presentations in March.

The goal of TFPIE is to gather researchers, teachers and professionals that use, or are interested in the use of, functional programming in education. TFPIE aims to be a venue where novel ideas, classroom-tested ideas and work-in-progress on the use of functional programming in education are discussed. The one-day workshop will foster a spirit of open discussion by having a review process for publication after the workshop. The program chair of TFPIE 2022 will screen submissions to ensure that all presentations are within scope and are of interest to participants. After the workshop, presenters will be invited to submit revised versions of their articles for publication in the journal Electronic Proceedings in Theoretical Computer Science (EPTCS).

TFPIE workshops have previously been held in St Andrews, Scotland (2012), Provo Utah, USA (2013), Soesterberg, The Netherlands (2014), Sophia-Antipolis, France (2015), College Park, USA (2016), Canterbury, UK (2017), Gothenburg (2018) and Vancouver (2019), Krakow, Poland (2020) and online due to COVID-19 (2021).

== Announcement 1/7/2022, update 1/11/2022 ==

Due to the rescheduling of the Lambda Days to July 28-29 the TFPIE organizing committee decided to make the following changes:

* TFPIE 2022 will be held together with TFP 2022 '''virtually''' on March 16 2022
* The Lambda Days are inviting TFP and TFPIE speakers to give in-person presentations at the Lambda Days July 28-29 if they are able and interested (registration fee waived)
* The submission deadline for TFPIE is extended to February 7th 2022
* Authors' notification is February 11th, 2022 (but we are evaluating submissions on the ongoing basis)
* Submission for formal review is extended to April 29th 2022

== Topics ==
TFPIE 2022 welcomes submissions describing techniques used in the classroom, tools used in and/or developed for the classroom and any creative use of functional programming (FP) to aid education in or outside Computer Science. Topics of interest include, but are not limited to:

* FP and beginning CS students
* FP and Computational Thinking
* FP and Artificial Intelligence
* FP in Robotics
* FP and Music
* Advanced FP for undergraduates
* FP in graduate education
* Engaging students in research using FP
* FP in Programming Languages
* FP in the high school curriculum
* FP as a stepping stone to other CS topics
* FP and Philosophy
* The pedagogy of teaching FP
* FP and e-learning: MOOCs, automated assessment etc.
* Best Lectures more details below

In addition to papers, we are requesting best lecture presentations. What’s your best lecture topic in an FP related course? Do you have a fun way to present FP concepts to novices or perhaps an especially interesting presentation of a difficult topic? In either case, please consider sharing it. Best lecture topics will be selected for presentation based on a short abstract describing the lecture and its interest to TFPIE attendees.

[[Call For Papers 2022]]

== Important Dates ==

* Submission deadline: <s>January 5th 2022</s> February 7th 2022, Anywhere on Earth.
* Notification: <s>January 10th 2022</s> February 11th 2022
* TFPIE Registration Deadline:<s>February 2nd 2022</s> March 15th 2022
* Workshop: <s>February 11th 2022</s> March 16th 2022, followed by TFP March 17-18th
* Submission for formal review: <s>April 15th 2022</s> April 29th 2022, Anywhere on Earth.
* Notification of full article: June 1st 2022
* Camera ready: July 1st 2022
* Optional: presentation at the Lambda Days July 28-29, Krakow, Poland

== The Programme Committee ==

* [https://www.cs.ru.nl/P.Achten/ ''Peter Achten''], Radboud University, Netherlands
* [https://stchang.github.io/ ''Stephen Chang''], University of Massachusetts Boston, USA
* [http://www.cse.chalmers.se/~rjmh/''John Hughes''], Chalmers University of Technology, Sweden
* [http://cda.morris.umn.edu/~elenam/ ''Elena Machkasova (Chair)''] - University of Minnesota Morris, USA
* [https://who.rocq.inria.fr/Kristina.Sojakova/ ''Kristina Sojakova''] - INRIA, Paris, France
* [https://www.inf.elte.hu/en/staff/melinda-toth ''Melinda Tóth''], Eötvös Loránd University, Budapest, Hungary

== How To Submit ==
Potential presenters are invited to submit an extended abstract (4-6 pages) or a draft paper (up to 20 pages) in EPTCS style. The authors of accepted presentations will have their preprints and their slides made available on the workshop's website. Papers and abstracts can be submitted via easychair at the following link:

[https://easychair.org/conferences/?conf=tfpie2022 EasyChair TFPIE 2022]

After the workshop, presenters are invited to submit (a revised version of) their article for review. The PC will select the best articles for publication in the Electronic Proceedings in Theoretical Computer Science (EPTCS). Articles rejected for presentation and extended abstracts will not be formally reviewed by the PC.

== Invited Speaker ==
Our keynote talk is "The perfect Functional Programming course" by Peter Achten.

== How To Register ==
<s>TFPIE is part of [https://www.lambdadays.org/lambdadays2022 Lambda Days 2022]. To register, please visit the [https://www.lambdadays.org/lambdadays2022#register Lambda Days 2022 registration page].</s>

TFPIE, together with TFP, will be held virtually on March 16-18th (TFPIE: March 16, TFP: March 17-18). '''Click [https://forms.gle/aFHRmSJuCa5E8UGR6 here] to register.''' </br>
Registration is for both TFP and TFPIE. There is no registration fee. The zoom links will be sent to the registered participants shortly before the start of the conference.

Only papers that have been presented at TFPIE may be submitted to the post-reviewing process. Note that this implies that at least one of the authors has registered for TFPIE 2022 and has presented the work at the workshop.

Note that the Lambda Days in Krakow, Poland has been rescheduled to July 28-29, and authors of TFPIE accepted papers are welcome to present their papers at the Lambda Days, in addition to the virtual presentations in March.

== Program ==

Below you can find the program of TFPIE 2022. Note that all times are in [https://savvytime.com/converter/utc UTC time] (US participants - please be aware of the daylight saving time starting on Sunday March 13th!).

Please attach a pdf of your pre-submission for the other participants to look at. Also, you can upload and link to your slides here (or send them to: elenam at morris dot umn dot edu).

[[11:00 - 11:10]] Welcome

==== Presentation session 1 (Chair: Youyou Cong) ====

[[11:10 - 11:30]] '''Functional programming learning path''' ''Lidia Gorodnyaya and Dmitry Kondratyev'' - A.P. Ershov Institute of Informatics Systems, Siberian Branch of the Russian Academy of Sciences, Novosibirsk, Russia

[[11:35 - 11:55]] '''Teaching Simple Constructive Proofs with Haskell Programs''' ''Matthew Farrugia-Roberts and Harald Sondergaard'' - The University of Melbourne, Melbourne, Australia
* [https://github.com/matomatical/tfpie2022-files/raw/main/Farrugia-Roberts_and_Sondergaard_TFPIE_2022_extended_abstract.pdf Extended abstract]
* [https://github.com/matomatical/tfpie2022-files/raw/main/Farrugia-Roberts_and_Sondergaard_TFPIE_2022_slides.pdf Presentation slides]

==== Presentation session 2 (Chair: Peter Achten) ====

[[12:00 - 12:20]] '''Towards Type-Based Music Composition''' ''Youyou Cong'' - Tokyo Institute of Technology, Tokyo, Japan
* [https://drive.google.com/file/d/1GZalMD3T5YFVfIO4xeUL4G35Y4pURFDE/view?usp=sharing Extended Abstract]
* [https://drive.google.com/file/d/1M_ezk5ZA9_39CrNo3KQBBdI0DeJ_3xSf/view?usp=sharing Presentation Slides]

[[12:25 - 12:45]] '''Teaching Functional Programmers Logic and Metatheory''' ''Frederik Krogsdal Jacobsen and Jørgen Villadsen'' - Technical University of Denmark, Copenhagen, Denmark

==== Hello tables ====

[[12:45 - 13:15]] Hellos and mingling in breakout rooms

[[13:15 - 13:30]] Coffee break (zoom on)

==== Keynote address (Chair: Marco Morazan) ====

[[13:30 - 14:30]] '''Keynote: The Perfect Functional Programming Course''' ''Peter Achten'' - Radboud University Nijmegen, The Netherlands [[File:Keynote_TFPIE_2022_The_Perfect_FP_Course.pdf]]

[[14:30 - 15:00]] Break (zoom off)

==== Presentation session 3 (Chair: Christopher Anand) ====

[[15:00 - 15:20]] '''Engaging, Large-Scale Functional Programming Education in Physical and Virtual Space''' ''Kevin Kappelmann, Jonas Rädle and Lukas Stevens'' - Technical University of Munich, Munich, Germany
* [https://github.com/kappelmann/engaging-large-scale-functional-programming/releases/download/pdf/engaging_fp_education.pdf Paper Draft]
* [https://github.com/kappelmann/engaging-large-scale-functional-programming/ Resources Repository]

[[15:25 - 15:45]] '''Introduction to Functional Classes in CS1''' ''Marco T. Morazan'' - Seton Hall University, New Jersey, USA
* [https://studentshu-my.sharepoint.com/:b:/g/personal/morazanm_shu_edu/EfTOw6WJOWdBvWW6zcYueEoB-3zRthDz2MRYWJh_ZcnH1g?e=I9DN0c Draft Article]
* [https://studentshu-my.sharepoint.com/:b:/g/personal/morazanm_shu_edu/EbElspZjuflFsMXd9l9V3LEBnIjwpuLl8UAgMChCa8MZ4Q?e=TFyGTo Presentation slides]

[[15:45 - 16:00]] Coffee break (zoom on)

==== Presentation session 4 (Chair: Elena Machkasova) ====

[[16:00 - 16:20]] '''Teaching Interaction using State Diagrams''' ''Padma Pasupathi, Christopher Schankula, Nicole DiVincenzo, Sarah Coker and Christopher Anand'' - McMaster University, Hamilton, Ontario, Canada

[[16:25 - 16:45]] '''Toward Smart Mentor Dispatch: Can we predict when children need help to overcome errors or other roadblocks?''' ''Chinmay Sheth, Vaitheeka Nallasamy, Kruthiga Karunakaran and Christopher K. Anand'' - McMaster University, Hamilton, Ontario, Canada

[[16:45 - 17:30]] Wrap-up, followed by breakout rooms

File:Keynote TFPIE 2022 The Perfect FP Course.pdf

2022-03-15T07:59:08Z

Peter88: Slides keynote "The Perfect Functional Programming Course" by Peter Achten

== Summary ==
Slides keynote "The Perfect Functional Programming Course" by Peter Achten

File:TFPIE2020.pdf

2020-04-20T12:50:25Z

Peter88: Peter88 uploaded a new version of File:TFPIE2020.pdf

Segments: a better Rainfall problem for FP? - position presentation -

TFPIE2020

2020-02-12T15:35:14Z

Peter88: added slides of position talk: "Segments: a better Rainfall problem for FP"

The 9th International Workshop on Trends in Functional Programming in Education, TFPIE 2020, will be held on February 12, 2020 in Krakow, Poland. It is co-located with the Symposium on Trends in Functional Programming (TFP 2020) and Lambda Days which takes place from February 13-14, 2020. You need to register separately for TFPIE 2020, however.

For further information, please navigate to http://www.staff.science.uu.nl/~hage0101/tfpie2020/

==== Preliminary program ====

Below you can find the preliminary program of TFPIE 2020.

The location for the workshop is

'''Computer Science Centre of AGH'''

'''ul. Kawiory 21, Krakow'''

'''Room 1.19 on the ground floor'''

Please attach a pdf of your pre-submission for the other participants to look at. Also, you can upload and link to your slides here (or send them to j.hage@uu.nl so I can do it).

[[8:30 - 9:00]] registration + welcome

[[9:00 - 10:00]] '''invited talk Thorsten Altenkirch: Conceptual Programming with Python'''

[[10:00 - 10:30]] break

'''Session I''' [chair: Viktoria Zsok]

[[10:30 - 11:00]] '''Using Algebra and Video Game Development to Motivate Program Design Among Inner-City High School Students (paper)''' [''Marco T. Morazan''] [[File:Morazan-TFPIE-2020-Prog-InnerCity.pdf]]

[[11:00 - 11:30]] '''Ideas for Automatic Programming Task Generation Based on Generating Sample Code (paper)''' [''Oliver Westphal and Janis Voigtländer'']

[[11:30 - 12:15]] '''A better rainfall problem? (position talk)''' [''Peter Achten''] [[File:TFPIE2020.pdf]]

[[12:15 - 14:00]] lunch

'''Session II:''' [chair: Peter Achten]

[[14:00 - 14:30]] '''Visualizing Deterministic Finite-State Automatons in FSM (paper)''' [''Marco T. Morazan, Joshua M. Schappel and Sachin Mahashabde'']

[[14:30 - 15:00]] '''Abstract Thinking Initiation at Functional Programming Classes (paper)''' [''Viktoria Zsok, Yuri Kim, Evan Sitt and Pedro Henrique Villar de Figueiredo'']

[[15:00 - 15:30]] break

'''Session III:''' [chair: Marco Morazan]

[[15:30 - 16:15]] '''Teaching Parallel Functional Programming at Chalmers: the first seven years (experience report)''' [''John Hughes'']

[[16:15 - 16:55]] '''plenary discussion on the use of functional programming in courses beyond programming'''

[[16:55 - 17:00]] close

File:TFPIE2020.pdf

2020-02-12T15:21:34Z

Peter88: Segments: a better Rainfall problem for FP? - position presentation -

Segments: a better Rainfall problem for FP? - position presentation -

Main Page

2019-05-17T13:18:58Z

Peter88: /* TFPIE2019 */

'''MediaWiki has been successfully installed.'''

Consult the [http://meta.wikimedia.org/wiki/Help:Contents User's Guide] for information on using the wiki software.

== TFPIE ==
Welcome to the TFPIE wiki. The TFPIE wiki is a portal to find and contribute material on the subject of Functional Programming in an educational setting. It has been created on the occasion of the first International Workshop on Trends in Functional Programming In Education that was held at the University of St. Andrews, Scotland, on june 11th 2012.

=== TFPIE wiki ===
During the first TFPIE workshop, a group of enthusiastic functional programmers expressed their willingness to contribute further to this wiki. We are currently exploring how to structure this wiki, its policies, and initial content. A brainstorm lunch-meeting was held during the subsequent Trends in Functional Programming Symposium. We invite you to contribute to this wiki as well.

=== TFPIE workshops ===
We plan to organize the TFPIE workshops annually. These workshops are an informal meeting intended for researchers, professors, teachers, and all professionals that use or are interested in the use of functional programming in education. TFPIE aims to be a venue where novel ideas, classroom-tested ideas, and work in progress on the use of functional programming in education are discussed. The one-day workshops will foster a spirit of open discussion by having a review process for publication after the workshop.

==== [[TFPIE2012]] ====
The first TFPIE workshop, University of St. Andrews, Scotland, June 11th 2012.

==== [[TFPIE2013]] ====
The second TFPIE workshop, Brigham Young University, Provo, Utah, USA, May 13 2013.

==== [[TFPIE2014]] ====
The third TFPIE workshop, Soesterberg at 'Kontakt der Kontinenten', The Netherlands, May 25 2014.

==== [[TFPIE2015]] ====
The fourth TFPIE workshop, Sophia-Antipolis, France, June 2, 2015.

==== [[TFPIE2016]] ====
The fifth TFPIE workshop, University of Maryland College Park, USA, June 7, 2016.

==== [[TFPIE2017]] ====
The sixth TFPIE workshop, University of Kent, UK, June 22, 2017.

==== [[TFPIE2018]] ====
The seventh TFPIE workshop, Chalmers University, Sweden, June 14, 2018.

==== [[TFPIE2019]] ====
The eighth TFPIE workshop, University of British Columbia, CA, June 11, 2019.

TFPIE2019

2019-01-29T15:04:08Z

Peter88:

The 8th International Workshop on Trends in Functional Programming in Education, TFPIE 2019, will be held on June 11, 2019 at the University of British Columbia, Canada. It is co-located with the Symposium on Trends in Functional Programming (TFP 2019) which takes place from June 12 - 14, 2019.

For further information, please navigate to http://www.staff.science.uu.nl/~hage0101/tfpie2019/

TFPIE2019

2019-01-29T15:03:23Z

Peter88: /* TFPIE 2019 */

The 9th International Workshop on Trends in Functional Programming in Education, TFPIE 2019, will be held on June 11, 2019 at the University of British Columbia, Canada. It is co-located with the Symposium on Trends in Functional Programming (TFP 2019) which takes place from June 12 - 14, 2019.

For further information, please navigate to http://www.staff.science.uu.nl/~hage0101/tfpie2019/

Main Page

2019-01-29T15:00:48Z

Peter88: /* TFPIE workshops */

'''MediaWiki has been successfully installed.'''

Consult the [http://meta.wikimedia.org/wiki/Help:Contents User's Guide] for information on using the wiki software.

== TFPIE ==
Welcome to the TFPIE wiki. The TFPIE wiki is a portal to find and contribute material on the subject of Functional Programming in an educational setting. It has been created on the occasion of the first International Workshop on Trends in Functional Programming In Education that was held at the University of St. Andrews, Scotland, on june 11th 2012.

=== TFPIE wiki ===
During the first TFPIE workshop, a group of enthusiastic functional programmers expressed their willingness to contribute further to this wiki. We are currently exploring how to structure this wiki, its policies, and initial content. A brainstorm lunch-meeting was held during the subsequent Trends in Functional Programming Symposium. We invite you to contribute to this wiki as well.

=== TFPIE workshops ===
We plan to organize the TFPIE workshops annually. These workshops are an informal meeting intended for researchers, professors, teachers, and all professionals that use or are interested in the use of functional programming in education. TFPIE aims to be a venue where novel ideas, classroom-tested ideas, and work in progress on the use of functional programming in education are discussed. The one-day workshops will foster a spirit of open discussion by having a review process for publication after the workshop.

==== [[TFPIE2012]] ====
The first TFPIE workshop, University of St. Andrews, Scotland, June 11th 2012.

==== [[TFPIE2013]] ====
The second TFPIE workshop, Brigham Young University, Provo, Utah, USA, May 13 2013.

==== [[TFPIE2014]] ====
The third TFPIE workshop, Soesterberg at 'Kontakt der Kontinenten', The Netherlands, May 25 2014.

==== [[TFPIE2015]] ====
The fourth TFPIE workshop, Sophia-Antipolis, France, June 2, 2015.

==== [[TFPIE2016]] ====
The fifth TFPIE workshop, University of Maryland College Park, USA, June 7, 2016.

==== [[TFPIE2017]] ====
The sixth TFPIE workshop, University of Kent, UK, June 22, 2017.

==== [[TFPIE2018]] ====
The seventh TFPIE workshop, Chalmers University, Sweden, June 14, 2018.

==== [[TFPIE2019]] ====
The eigth TFPIE workshop, University of British Columbia, CA, June 11, 2019.

Main Page

2018-03-05T12:38:47Z

Peter88: /* TFPIE */

TFPIE2018

2018-03-05T12:38:15Z

Peter88: /* TFP'18 */

The 8th International Workshop on Trends in Functional Programming in Education, TFPIE 2018, will be held on June 14, 2018 at Chalmers University in Sweden. It is co-located with the Symposium on Trends in Functional Programming (TFP 2018) which takes place from June 11 - 13.

For further information, please navigate to http://www.ccs.neu.edu/home/heather/tfpie2018/.

Main Page

2018-03-05T12:36:23Z

Peter88: /* TFPIE */

'''MediaWiki has been successfully installed.'''

Consult the [http://meta.wikimedia.org/wiki/Help:Contents User's Guide] for information on using the wiki software.

== TFPIE ==
Welcome to the TFPIE wiki. The TFPIE wiki is a portal to find and contribute material on the subject of Functional Programming in an educational setting. It has been created on the occasion of the first International Workshop on Trends in Functional Programming In Education that was held at the University of St. Andrews, Scotland, on june 11th 2012.

=== TFPIE wiki ===
During the first TFPIE workshop, a group of enthusiastic functional programmers expressed their willingness to contribute further to this wiki. We are currently exploring how to structure this wiki, its policies, and initial content. A brainstorm lunch-meeting was held during the subsequent Trends in Functional Programming Symposium. We invite you to contribute to this wiki as well.

=== TFPIE workshops ===
We plan to organize the TFPIE workshops annually. These workshops are an informal meeting intended for researchers, professors, teachers, and all professionals that use or are interested in the use of functional programming in education. TFPIE aims to be a venue where novel ideas, classroom-tested ideas, and work in progress on the use of functional programming in education are discussed. The one-day workshops will foster a spirit of open discussion by having a review process for publication after the workshop.

==== [[TFPIE2012]] ====
The first TFPIE workshop, University of St. Andrews, Scotland, June 11th 2012.

==== [[TFPIE2013]] ====
The second TFPIE workshop, Brigham Young University, Provo, Utah, USA, May 13 2013.

==== [[TFPIE2014]] ====
The third TFPIE workshop, Soesterberg at 'Kontakt der Kontinenten', The Netherlands, May 25 2014.

==== [[TFPIE2015]] ====
The fourth TFPIE workshop, Sophia-Antipolis, France, June 2, 2015.

==== [[TFPIE2016]] ====
The fifth TFPIE workshop, University of Maryland College Park, USA, June 7, 2016.

==== [[TFPIE2017]] ====
The sixth TFPIE workshop, University of Kent, UK, June 22, 2017.

==== [[TFPIE2018]] ====
The eighth TFPIE workshop, Chalmers University, Sweden, June 14, 2018.

TFPIE2017

2017-05-24T11:17:07Z

Peter88:

The 6th International Workshop on Trends in Functional Programming in Education, TFPIE 2017, will be held on June 22, 2017 at the University of Kent in the UK. It is co-located with the Symposium on Trends in Functional Programming (TFP 2017) which takes place from June 19 - 21.

For further information, please navigate to https://www.cs.kent.ac.uk/people/staff/sjt/TFPIE2017/TFPIE_2017/Home.html.

TFPIE2017

2017-05-24T11:15:04Z

Peter88: Created page with "The 6th International Workshop on Trends in Functional Programming in Education, TFPIE 2017, will be held on June 22, 2017 at the University of Kent in the UK. It is co-locate..."

The 6th International Workshop on Trends in Functional Programming in Education, TFPIE 2017, will be held on June 22, 2017 at the University of Kent in the UK. It is co-located with the Symposium on Trends in Functional Programming (TFP 2017) which takes place from June 19 - 21.

For further information, please navigate to [[https://www.cs.kent.ac.uk/people/staff/sjt/TFPIE2017/TFPIE_2017/Home.html]].

Main Page

2017-05-24T11:12:02Z

Peter88: /* TFPIE workshops */

TFPIE2014

2015-03-18T10:20:03Z

Peter88: /* EPTCS Proceedings */

== TFPIE 2014 ==
TFPIE 2014 is the third International Workshop on Trends in Functional Programming in Education. It is co-located with TFP 2014 which is held in Soesterberg, at the 'Kontakt der Kontinenten' hotel in The Netherlands.
For more information, consult [http://www.cs.uwyo.edu/~jlc/tfpie14/ the current home page of TFPIE 2014].

=== Preliminary program ===
Below you can find the preliminary program of TFPIE 2014.

[[8:30 - 9:00]] registration + welcome

[[9:00 - 10:00]] '''invited talk Johan Jeuring: Automatic tutoring and assessing functional programs''' [[:File:TFPIEJeuring.pdf|SLIDES]]

[[10:00 - 10:15]] break

'''Session I: Pedagogical tooling''' [chair: Prabhakar Ragde]

[[10:15 - 10:35]] '''Bricklayer: An authentic introduction to the FPL SML''' [''Victor Winter''] [[:File:tfpie2014_submission_1.pdf|PREPRINT]]

[[10:35 - 10:55]] '''Evaluating Haskell expressions in a tutoring environment''' [''Tim Olmer, Bastiaan Heeren, Johan Jeuring''] [[:File:tfpie2014_submission_4.pdf|PREPRINT]]

[[10:55 - 11:15]] '''Report on a User Test and Extension of a Type Debugger for Novice Programmers''' [''Yuki Ishii, Kenichi Asai''] [[:File:tfpie2014_submission_10.pdf|PREPRINT]]

[[11:15 - 11:30]] break

'''Session II: Teaching Mathematical Structure''' [chair: Jurriaan Hage]

[[11:30 - 11:50]] '''Course on a Mathematical Presentation of Functional Programming''' [''Alvaro Tasistro, Juan Michelini, Nora Szasz''] [[:File:tfpie2014_submission_13.pdf|PREPRINT]]

[[11:50 - 12:10]] '''Calculational Presentation of Propositional Tableaux''' [''Juan Michelini, Alvaro Tasistro''] [[:File:tfpie2014_submission_15.pdf|ABSTRACT]]

[[12:10 - 12:30]] '''Functional Automata: Software Support for Formal Languages Courses''' [''Marco T. Morazán, Rosario Antunez''] [[:File:tfpie2014_submission_14.pdf|PREPRINT]], [[:File:FSM.pdf|SLIDES]]

[[12:30 - 13:45]] lunch

'''Session III: Topics from the Physical World''' [chair: Pieter Koopman]

[[13:45 - 14:05]] '''Hardware design using Haskell and ClaSH''' [''Rinse Wester, Jan Kuper, Christiaan Baaij''] [[:File:tfpie2014_submission_9.pdf|PREPRINT]]

[[14:05 - 14:25]] '''The Sprockell''' [''Jan Kuper''] [[:File:tfpie2014_submission_11.pdf|PREPRINT]], [[:File:tfpie2014_submission_11_slides.pdf|SLIDES]]

[[14:25 - 14:45]] '''Learn Physics by Programming in Haskell''' [''Scott Walck''] [[:File:tfpie2014_submission_6.pdf|PREPRINT]], [[:File:LearnPhysics.pdf|SLIDES]]

[[14:45 - 15:00]] break

'''Session IV: Teaching Computer Science Topics (other than FP)''' [chair: Marco Morazán]

[[15:00 - 15:20]] '''Teaching the Construction of Domain Specific Languages''' [''Pieter Koopman, Rinus Plasmeijer''] [[:File:tfpie2014_submission_12.pdf|PREPRINT]], [[:File:TFPIE14.pieter.slides.pdf|SLIDES]]

[[15:20 - 15:40]] '''Teaching Software Architecture Using Haskell''' [''Alejandro Serrano''] [[:File:tfpie2014_submission_5.pdf|PREPRINT]], [[:File:Tfpie2014-teaching-sw-arch.pdf|SLIDES]]

[[15:40 - 16:00]] '''Simple Balanced Binary Search Trees''' [''Prabhakar Ragde''] [[:File:tfpie2014_submission_8.pdf|PREPRINT]]

[[16:00 - 16:15]] break

'''Session V: Education Formats''' [chair: Johan Jeuring]

[[16:15 - 16:35]] '''Course Postmortem: Teaching Haskell to Large Groups''' [''Jurriaan Hage, Ruud Koot''] [[:File:tfpie2014_submission_7.pdf|PREPRINT]]

[[16:35 - 16:55]] '''Flipped Graduate Classroom in a Haskell-based Software Testing Course''' [''Jan van Eijck, Vadim Zaytsev''] [[:File:tfpie2014_submission_16.pdf|PREPRINT]], [http://grammarware.net/slides/2014/tfpie.pdf SLIDES]

[[16:55 - 17:10]] break

[[17:10 - 17:55]] '''plenary discussion''' [chair: Philip Hölzenspies]

[[17:55 - 18:00]] close

=== Invited Speaker ===
It is our pleasure that [http://www.staff.science.uu.nl/~jeuri101/homepage/ Johan Jeuring] has accepted our invitation to give an invited talk! Johan Jeuring is professor of Software Technology for Learning and Teaching at Utrecht University (Institute of Information and Computing Sciences) and professor of Software Technology at the Open University (School of Computer Science). The subject of his presentation is: Automatic tutoring and assessing functional programs.

== 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 170.
You can find [http://eptcs.web.cse.unsw.edu.au/content.cgi?TFPIE2014 the formal TFPIE 2014 proceedings].
Alternatively, you can follow [http://arxiv.org/abs/1412.4738 this link to arXiv.org].

# Report on a User Test and Extension of a Type Debugger for Novice Programmers (Yuki Ishii, Kenichi Asai)
# Functional Automata - Formal Languages for Computer Science Students (Marco T. Morazán, Rosario Antunez)
# Bricklayer: An Authentic Introduction to the Functional Programming Language SML (Victor Winter)
# Evaluating Haskell expressions in a tutoring environment (Tim Olmer, Bastiaan Heeren, Johan Jeuring)
# Learn Physics by Programming in Haskell (Scott N. Walck)
# Simple Balanced Binary Search Trees (Prabhakar Ragde)

TFPIE2013

2014-12-12T08:46:38Z

Peter88: /* Invited Speaker */

== TFPIE 2013 ==
TFPIE 2013 is the second International Workshop on Trends in Functional Programming in Education. It is co-located with TFP 2013 at Brigham Young University, Provo, Utah, USA.
For more information, consult [http://wwwhome.ewi.utwente.nl/~holzenspiespkf/TFPIE2013.html the current home page of TFPIE 2013].

=== Contributions ===
Below you can find the draft papers and additional material provided by the participants of TFPIE 2013. The order is identical to the workshop program.

# From Principles to Practice with Class in the First Year (Sam Tobin-Hochstadt, David Van Horn) [[File:TFPIE 2013_Principles_to_Practice_with_Class.pdf]] ([http://www.ccs.neu.edu/home/dvanhorn/talks/principles-to-practice-tfpie-2013.pdf slides of presentation])
# Structural Induction Principles for Functional Programmers (James Caldwell) [[File:TFPIE2013_Structural_Induction_Principles.pdf]]
# Hardware design in education using ClaSH (Rinse Wester, Jan Kuper, Christiaan Baaij) [[File:TFPIE2013_Hardware_Design_Using_Clash.pdf]]
# Racket Functional Programming to Elementary Mathematic Teachers (Dalit Levy) [[File:TFPIE2013_Racket_Functional_Programming.pdf]]
# Functional Reactive Programming in K12 Education (John Peterson, Alan Cleary) [[File:TFPIE2013_Functional_Reactive_Programming.pdf]]
# Steps towards teaching the Clojure programming language in an introductory CS class (Elena Machkasova, Stephen J Adams, Joe Einertson) [[File:TFPIE2013_Steps_Towards_Teaching_Clojure.pdf]]

=== Invited Speaker ===
It is our pleasure that Matthew Flatt has accepted our invitation to give an extensive invited talk! He will talk about how to create student programming languages.

== 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 136.
You can find [http://eptcs.web.cse.unsw.edu.au/content.cgi?TFPIE2013 the formal TFPIE 2013 proceedings].
Alternatively, [http://arxiv.org/abs/1312.2216 you can follow this link to arXiv.org].

# From Principles to Practice with Class in the First Year (Sam Tobin-Hochstadt, David Van Horn)
# Structural Induction Principles for Functional Programmers (James Caldwell)

Main Page

2014-12-12T08:40:57Z

Peter88:

'''MediaWiki has been successfully installed.'''

Consult the [http://meta.wikimedia.org/wiki/Help:Contents User's Guide] for information on using the wiki software.

== TFPIE ==
Welcome to the TFPIE wiki. The TFPIE wiki is a portal to find and contribute material on the subject of Functional Programming in an educational setting. It has been created on the occasion of the first International Workshop on Trends in Functional Programming In Education that was held at the University of St. Andrews, Scotland, on june 11th 2012.

=== TFPIE wiki ===
During the first TFPIE workshop, a group of enthusiastic functional programmers expressed their willingness to contribute further to this wiki. We are currently exploring how to structure this wiki, its policies, and initial content. A brainstorm lunch-meeting was held during the subsequent Trends in Functional Programming Symposium. We invite you to contribute to this wiki as well.

=== TFPIE workshops ===
We plan to organize the TFPIE workshops annually. These workshops are an informal meeting intended for researchers, professors, teachers, and all professionals that use or are interested in the use of functional programming in education. TFPIE aims to be a venue where novel ideas, classroom-tested ideas, and work in progress on the use of functional programming in education are discussed. The one-day workshops will foster a spirit of open discussion by having a review process for publication after the workshop.

==== [[TFPIE2012]] ====
The first TFPIE workshop, University of St. Andrews, Scotland, june 11th 2012.

==== [[TFPIE2013]] ====
The second TFPIE workshop, Brigham Young University, Provo, Utah, USA, may 13 2013.

==== [[TFPIE2014]] ====
The third TFPIE workshop, Soesterberg at 'Kontakt der Kontinenten', The Netherlands, may 25 2014.

=== [[TFPIE2015]] ===
The fourth TFPIE workshop, Sophia-Antipolis, France, June 2, 2015.

Main Page

2014-12-12T08:40:39Z

Peter88: /* TFPIE workshops */

'''MediaWiki has been successfully installed.'''

Consult the [http://meta.wikimedia.org/wiki/Help:Contents User's Guide] for information on using the wiki software.

== TFPIE ==
Welcome to the TFPIE wiki. The TFPIE wiki is a portal to find and contribute material on the subject of Functional Programming in an educational setting. It has been created on the occasion of the first International Workshop on Trends in Functional Programming In Education that was held at the University of St. Andrews, Scotland, on june 11th 2012.

=== TFPIE wiki ===
During the first TFPIE workshop, a group of enthusiastic functional programmers expressed their willingness to contribute further to this wiki. We are currently exploring how to structure this wiki, its policies, and initial content. A brainstorm lunch-meeting was held during the subsequent Trends in Functional Programming Symposium. We invite you to contribute to this wiki as well.

=== TFPIE workshops ===
We plan to organize the TFPIE workshops annually. These workshops are an informal meeting intended for researchers, professors, teachers, and all professionals that use or are interested in the use of functional programming in education. TFPIE aims to be a venue where novel ideas, classroom-tested ideas, and work in progress on the use of functional programming in education are discussed. The one-day workshops will foster a spirit of open discussion by having a review process for publication after the workshop.

==== [[TFPIE2012]] ====
The first TFPIE workshop, University of St. Andrews, Scotland, june 11th 2012.

==== [[TFPIE2013]] ====
The second TFPIE workshop, Brigham Young University, Provo, Utah, USA, may 13 2013.

==== [[TFPIE2014]] ====
The third TFPIE workshop, Soesterberg at 'Kontakt der Kontinenten', The Netherlands, may 25 2014.

=== [[TFPIE2014]] ===
The third TFPIE workshop, Soesterberg at 'Kontakt der Kontinenten', The Netherlands, may 25 2014.

=== [[TFPIE2015]] ===
The fourth TFPIE workshop, Sophia-Antipolis, France, June 2, 2015.

TFPIE2014

2014-12-12T08:36:22Z

Peter88: /* Invited Speaker */

== TFPIE 2014 ==
TFPIE 2014 is the third International Workshop on Trends in Functional Programming in Education. It is co-located with TFP 2014 which is held in Soesterberg, at the 'Kontakt der Kontinenten' hotel in The Netherlands.
For more information, consult [http://www.cs.uwyo.edu/~jlc/tfpie14/ the current home page of TFPIE 2014].

=== Preliminary program ===
Below you can find the preliminary program of TFPIE 2014.

[[8:30 - 9:00]] registration + welcome

[[9:00 - 10:00]] '''invited talk Johan Jeuring: Automatic tutoring and assessing functional programs''' [[:File:TFPIEJeuring.pdf|SLIDES]]

[[10:00 - 10:15]] break

'''Session I: Pedagogical tooling''' [chair: Prabhakar Ragde]

[[10:15 - 10:35]] '''Bricklayer: An authentic introduction to the FPL SML''' [''Victor Winter''] [[:File:tfpie2014_submission_1.pdf|PREPRINT]]

[[10:35 - 10:55]] '''Evaluating Haskell expressions in a tutoring environment''' [''Tim Olmer, Bastiaan Heeren, Johan Jeuring''] [[:File:tfpie2014_submission_4.pdf|PREPRINT]]

[[10:55 - 11:15]] '''Report on a User Test and Extension of a Type Debugger for Novice Programmers''' [''Yuki Ishii, Kenichi Asai''] [[:File:tfpie2014_submission_10.pdf|PREPRINT]]

[[11:15 - 11:30]] break

'''Session II: Teaching Mathematical Structure''' [chair: Jurriaan Hage]

[[11:30 - 11:50]] '''Course on a Mathematical Presentation of Functional Programming''' [''Alvaro Tasistro, Juan Michelini, Nora Szasz''] [[:File:tfpie2014_submission_13.pdf|PREPRINT]]

[[11:50 - 12:10]] '''Calculational Presentation of Propositional Tableaux''' [''Juan Michelini, Alvaro Tasistro''] [[:File:tfpie2014_submission_15.pdf|ABSTRACT]]

[[12:10 - 12:30]] '''Functional Automata: Software Support for Formal Languages Courses''' [''Marco T. Morazán, Rosario Antunez''] [[:File:tfpie2014_submission_14.pdf|PREPRINT]], [[:File:FSM.pdf|SLIDES]]

[[12:30 - 13:45]] lunch

'''Session III: Topics from the Physical World''' [chair: Pieter Koopman]

[[13:45 - 14:05]] '''Hardware design using Haskell and ClaSH''' [''Rinse Wester, Jan Kuper, Christiaan Baaij''] [[:File:tfpie2014_submission_9.pdf|PREPRINT]]

[[14:05 - 14:25]] '''The Sprockell''' [''Jan Kuper''] [[:File:tfpie2014_submission_11.pdf|PREPRINT]], [[:File:tfpie2014_submission_11_slides.pdf|SLIDES]]

[[14:25 - 14:45]] '''Learn Physics by Programming in Haskell''' [''Scott Walck''] [[:File:tfpie2014_submission_6.pdf|PREPRINT]], [[:File:LearnPhysics.pdf|SLIDES]]

[[14:45 - 15:00]] break

'''Session IV: Teaching Computer Science Topics (other than FP)''' [chair: Marco Morazán]

[[15:00 - 15:20]] '''Teaching the Construction of Domain Specific Languages''' [''Pieter Koopman, Rinus Plasmeijer''] [[:File:tfpie2014_submission_12.pdf|PREPRINT]], [[:File:TFPIE14.pieter.slides.pdf|SLIDES]]

[[15:20 - 15:40]] '''Teaching Software Architecture Using Haskell''' [''Alejandro Serrano''] [[:File:tfpie2014_submission_5.pdf|PREPRINT]], [[:File:Tfpie2014-teaching-sw-arch.pdf|SLIDES]]

[[15:40 - 16:00]] '''Simple Balanced Binary Search Trees''' [''Prabhakar Ragde''] [[:File:tfpie2014_submission_8.pdf|PREPRINT]]

[[16:00 - 16:15]] break

'''Session V: Education Formats''' [chair: Johan Jeuring]

[[16:15 - 16:35]] '''Course Postmortem: Teaching Haskell to Large Groups''' [''Jurriaan Hage, Ruud Koot''] [[:File:tfpie2014_submission_7.pdf|PREPRINT]]

[[16:35 - 16:55]] '''Flipped Graduate Classroom in a Haskell-based Software Testing Course''' [''Jan van Eijck, Vadim Zaytsev''] [[:File:tfpie2014_submission_16.pdf|PREPRINT]], [http://grammarware.net/slides/2014/tfpie.pdf SLIDES]

[[16:55 - 17:10]] break

[[17:10 - 17:55]] '''plenary discussion''' [chair: Philip Hölzenspies]

[[17:55 - 18:00]] close

=== Invited Speaker ===
It is our pleasure that [http://www.staff.science.uu.nl/~jeuri101/homepage/ Johan Jeuring] has accepted our invitation to give an invited talk! Johan Jeuring is professor of Software Technology for Learning and Teaching at Utrecht University (Institute of Information and Computing Sciences) and professor of Software Technology at the Open University (School of Computer Science). The subject of his presentation is: Automatic tutoring and assessing functional programs.

== 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 170.
You can find [http://eptcs.web.cse.unsw.edu.au/content.cgi?TFPIE2014 the formal TFPIE 2014 proceedings].
They will appear at arXiv.org as well. A link will be included as soon as it is available.

# Report on a User Test and Extension of a Type Debugger for Novice Programmers (Yuki Ishii, Kenichi Asai)
# Functional Automata - Formal Languages for Computer Science Students (Marco T. Morazán, Rosario Antunez)
# Bricklayer: An Authentic Introduction to the Functional Programming Language SML (Victor Winter)
# Evaluating Haskell expressions in a tutoring environment (Tim Olmer, Bastiaan Heeren, Johan Jeuring)
# Learn Physics by Programming in Haskell (Scott N. Walck)
# Simple Balanced Binary Search Trees (Prabhakar Ragde)

TFPIE2014

2014-12-12T08:36:05Z

Peter88: /* Preliminary program */

== TFPIE 2014 ==
TFPIE 2014 is the third International Workshop on Trends in Functional Programming in Education. It is co-located with TFP 2014 which is held in Soesterberg, at the 'Kontakt der Kontinenten' hotel in The Netherlands.
For more information, consult [http://www.cs.uwyo.edu/~jlc/tfpie14/ the current home page of TFPIE 2014].

=== Preliminary program ===
Below you can find the preliminary program of TFPIE 2014.

[[8:30 - 9:00]] registration + welcome

[[9:00 - 10:00]] '''invited talk Johan Jeuring: Automatic tutoring and assessing functional programs''' [[:File:TFPIEJeuring.pdf|SLIDES]]

[[10:00 - 10:15]] break

'''Session I: Pedagogical tooling''' [chair: Prabhakar Ragde]

[[10:15 - 10:35]] '''Bricklayer: An authentic introduction to the FPL SML''' [''Victor Winter''] [[:File:tfpie2014_submission_1.pdf|PREPRINT]]

[[10:35 - 10:55]] '''Evaluating Haskell expressions in a tutoring environment''' [''Tim Olmer, Bastiaan Heeren, Johan Jeuring''] [[:File:tfpie2014_submission_4.pdf|PREPRINT]]

[[10:55 - 11:15]] '''Report on a User Test and Extension of a Type Debugger for Novice Programmers''' [''Yuki Ishii, Kenichi Asai''] [[:File:tfpie2014_submission_10.pdf|PREPRINT]]

[[11:15 - 11:30]] break

'''Session II: Teaching Mathematical Structure''' [chair: Jurriaan Hage]

[[11:30 - 11:50]] '''Course on a Mathematical Presentation of Functional Programming''' [''Alvaro Tasistro, Juan Michelini, Nora Szasz''] [[:File:tfpie2014_submission_13.pdf|PREPRINT]]

[[11:50 - 12:10]] '''Calculational Presentation of Propositional Tableaux''' [''Juan Michelini, Alvaro Tasistro''] [[:File:tfpie2014_submission_15.pdf|ABSTRACT]]

[[12:10 - 12:30]] '''Functional Automata: Software Support for Formal Languages Courses''' [''Marco T. Morazán, Rosario Antunez''] [[:File:tfpie2014_submission_14.pdf|PREPRINT]], [[:File:FSM.pdf|SLIDES]]

[[12:30 - 13:45]] lunch

'''Session III: Topics from the Physical World''' [chair: Pieter Koopman]

[[13:45 - 14:05]] '''Hardware design using Haskell and ClaSH''' [''Rinse Wester, Jan Kuper, Christiaan Baaij''] [[:File:tfpie2014_submission_9.pdf|PREPRINT]]

[[14:05 - 14:25]] '''The Sprockell''' [''Jan Kuper''] [[:File:tfpie2014_submission_11.pdf|PREPRINT]], [[:File:tfpie2014_submission_11_slides.pdf|SLIDES]]

[[14:25 - 14:45]] '''Learn Physics by Programming in Haskell''' [''Scott Walck''] [[:File:tfpie2014_submission_6.pdf|PREPRINT]], [[:File:LearnPhysics.pdf|SLIDES]]

[[14:45 - 15:00]] break

'''Session IV: Teaching Computer Science Topics (other than FP)''' [chair: Marco Morazán]

[[15:00 - 15:20]] '''Teaching the Construction of Domain Specific Languages''' [''Pieter Koopman, Rinus Plasmeijer''] [[:File:tfpie2014_submission_12.pdf|PREPRINT]], [[:File:TFPIE14.pieter.slides.pdf|SLIDES]]

[[15:20 - 15:40]] '''Teaching Software Architecture Using Haskell''' [''Alejandro Serrano''] [[:File:tfpie2014_submission_5.pdf|PREPRINT]], [[:File:Tfpie2014-teaching-sw-arch.pdf|SLIDES]]

[[15:40 - 16:00]] '''Simple Balanced Binary Search Trees''' [''Prabhakar Ragde''] [[:File:tfpie2014_submission_8.pdf|PREPRINT]]

[[16:00 - 16:15]] break

'''Session V: Education Formats''' [chair: Johan Jeuring]

[[16:15 - 16:35]] '''Course Postmortem: Teaching Haskell to Large Groups''' [''Jurriaan Hage, Ruud Koot''] [[:File:tfpie2014_submission_7.pdf|PREPRINT]]

[[16:35 - 16:55]] '''Flipped Graduate Classroom in a Haskell-based Software Testing Course''' [''Jan van Eijck, Vadim Zaytsev''] [[:File:tfpie2014_submission_16.pdf|PREPRINT]], [http://grammarware.net/slides/2014/tfpie.pdf SLIDES]

[[16:55 - 17:10]] break

[[17:10 - 17:55]] '''plenary discussion''' [chair: Philip Hölzenspies]

[[17:55 - 18:00]] close

=== Invited Speaker ===
It is our pleasure that [http://www.staff.science.uu.nl/~jeuri101/homepage/ Johan Jeuring] has accepted our invitation to give an invited talk! Johan Jeuring is professor of Software Technology for Learning and Teaching at Utrecht University (Institute of Information and Computing Sciences) and professor of Software Technology at the Open University (School of Computer Science). The subject of his presentation is: Automatic tutoring and assessing functional programs.

== 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 170.
You can find [http://eptcs.web.cse.unsw.edu.au/content.cgi?TFPIE2014 the formal TFPIE 2014 proceedings].
They will appear at arXiv.org as well. A link will be included as soon as it is available.

# Report on a User Test and Extension of a Type Debugger for Novice Programmers (Yuki Ishii, Kenichi Asai)
# Functional Automata - Formal Languages for Computer Science Students (Marco T. Morazán, Rosario Antunez)
# Bricklayer: An Authentic Introduction to the Functional Programming Language SML (Victor Winter)
# Evaluating Haskell expressions in a tutoring environment (Tim Olmer, Bastiaan Heeren, Johan Jeuring)
# Learn Physics by Programming in Haskell (Scott N. Walck)
# Simple Balanced Binary Search Trees (Prabhakar Ragde)

=== Invited Speaker ===
It is our pleasure that [http://www.staff.science.uu.nl/~jeuri101/homepage/ Johan Jeuring] has accepted our invitation to give an invited talk! Johan Jeuring is professor of Software Technology for Learning and Teaching at Utrecht University (Institute of Information and Computing Sciences) and professor of Software Technology at the Open University (School of Computer Science). The subject of his presentation is: Automatic tutoring and assessing functional programs.

TFPIE2014

2014-12-12T08:35:29Z

Peter88: /* Preliminary program + EPTCS proceedings */

== TFPIE 2014 ==
TFPIE 2014 is the third International Workshop on Trends in Functional Programming in Education. It is co-located with TFP 2014 which is held in Soesterberg, at the 'Kontakt der Kontinenten' hotel in The Netherlands.
For more information, consult [http://www.cs.uwyo.edu/~jlc/tfpie14/ the current home page of TFPIE 2014].

=== Preliminary program ===
Below you can find the preliminary program of TFPIE 2014.

[[8:30 - 9:00]] registration + welcome

[[9:00 - 10:00]] '''invited talk Johan Jeuring: Automatic tutoring and assessing functional programs''' [[:File:TFPIEJeuring.pdf|SLIDES]]

[[10:00 - 10:15]] break

'''Session I: Pedagogical tooling''' [chair: Prabhakar Ragde]

[[10:15 - 10:35]] '''Bricklayer: An authentic introduction to the FPL SML''' [''Victor Winter''] [[:File:tfpie2014_submission_1.pdf|PREPRINT]]

[[10:35 - 10:55]] '''Evaluating Haskell expressions in a tutoring environment''' [''Tim Olmer, Bastiaan Heeren, Johan Jeuring''] [[:File:tfpie2014_submission_4.pdf|PREPRINT]]

[[10:55 - 11:15]] '''Report on a User Test and Extension of a Type Debugger for Novice Programmers''' [''Yuki Ishii, Kenichi Asai''] [[:File:tfpie2014_submission_10.pdf|PREPRINT]]

[[11:15 - 11:30]] break

'''Session II: Teaching Mathematical Structure''' [chair: Jurriaan Hage]

[[11:30 - 11:50]] '''Course on a Mathematical Presentation of Functional Programming''' [''Alvaro Tasistro, Juan Michelini, Nora Szasz''] [[:File:tfpie2014_submission_13.pdf|PREPRINT]]

[[11:50 - 12:10]] '''Calculational Presentation of Propositional Tableaux''' [''Juan Michelini, Alvaro Tasistro''] [[:File:tfpie2014_submission_15.pdf|ABSTRACT]]

[[12:10 - 12:30]] '''Functional Automata: Software Support for Formal Languages Courses''' [''Marco T. Morazán, Rosario Antunez''] [[:File:tfpie2014_submission_14.pdf|PREPRINT]], [[:File:FSM.pdf|SLIDES]]

[[12:30 - 13:45]] lunch

'''Session III: Topics from the Physical World''' [chair: Pieter Koopman]

[[13:45 - 14:05]] '''Hardware design using Haskell and ClaSH''' [''Rinse Wester, Jan Kuper, Christiaan Baaij''] [[:File:tfpie2014_submission_9.pdf|PREPRINT]]

[[14:05 - 14:25]] '''The Sprockell''' [''Jan Kuper''] [[:File:tfpie2014_submission_11.pdf|PREPRINT]], [[:File:tfpie2014_submission_11_slides.pdf|SLIDES]]

[[14:25 - 14:45]] '''Learn Physics by Programming in Haskell''' [''Scott Walck''] [[:File:tfpie2014_submission_6.pdf|PREPRINT]], [[:File:LearnPhysics.pdf|SLIDES]]

[[14:45 - 15:00]] break

'''Session IV: Teaching Computer Science Topics (other than FP)''' [chair: Marco Morazán]

[[15:00 - 15:20]] '''Teaching the Construction of Domain Specific Languages''' [''Pieter Koopman, Rinus Plasmeijer''] [[:File:tfpie2014_submission_12.pdf|PREPRINT]], [[:File:TFPIE14.pieter.slides.pdf|SLIDES]]

[[15:20 - 15:40]] '''Teaching Software Architecture Using Haskell''' [''Alejandro Serrano''] [[:File:tfpie2014_submission_5.pdf|PREPRINT]], [[:File:Tfpie2014-teaching-sw-arch.pdf|SLIDES]]

[[15:40 - 16:00]] '''Simple Balanced Binary Search Trees''' [''Prabhakar Ragde''] [[:File:tfpie2014_submission_8.pdf|PREPRINT]]

[[16:00 - 16:15]] break

'''Session V: Education Formats''' [chair: Johan Jeuring]

[[16:15 - 16:35]] '''Course Postmortem: Teaching Haskell to Large Groups''' [''Jurriaan Hage, Ruud Koot''] [[:File:tfpie2014_submission_7.pdf|PREPRINT]]

[[16:35 - 16:55]] '''Flipped Graduate Classroom in a Haskell-based Software Testing Course''' [''Jan van Eijck, Vadim Zaytsev''] [[:File:tfpie2014_submission_16.pdf|PREPRINT]], [http://grammarware.net/slides/2014/tfpie.pdf SLIDES]

[[16:55 - 17:10]] break

[[17:10 - 17:55]] '''plenary discussion''' [chair: Philip Hölzenspies]

[[17:55 - 18:00]] close

== 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 170.
You can find [http://eptcs.web.cse.unsw.edu.au/content.cgi?TFPIE2014 the formal TFPIE 2014 proceedings].
They will appear at arXiv.org as well. A link will be included as soon as it is available.

# Report on a User Test and Extension of a Type Debugger for Novice Programmers (Yuki Ishii, Kenichi Asai)
# Functional Automata - Formal Languages for Computer Science Students (Marco T. Morazán, Rosario Antunez)
# Bricklayer: An Authentic Introduction to the Functional Programming Language SML (Victor Winter)
# Evaluating Haskell expressions in a tutoring environment (Tim Olmer, Bastiaan Heeren, Johan Jeuring)
# Learn Physics by Programming in Haskell (Scott N. Walck)
# Simple Balanced Binary Search Trees (Prabhakar Ragde)

=== Invited Speaker ===
It is our pleasure that [http://www.staff.science.uu.nl/~jeuri101/homepage/ Johan Jeuring] has accepted our invitation to give an invited talk! Johan Jeuring is professor of Software Technology for Learning and Teaching at Utrecht University (Institute of Information and Computing Sciences) and professor of Software Technology at the Open University (School of Computer Science). The subject of his presentation is: Automatic tutoring and assessing functional programs.

TFPIE2014

2014-05-26T13:56:55Z

Peter88: /* Preliminary program */

TFPIE2014

2014-05-20T12:25:34Z

Peter88: /* Preliminary program */

File:Tfpie2014 submission 16.pdf

2014-05-20T12:25:19Z

Peter88:

File:Tfpie2014 submission 7.pdf

2014-05-20T12:24:29Z

Peter88: In this paper, we describe our experiences teaching concepts of functional programming to a group of almost 300 students. In it we discuss what topics we taught, the kind of assignments we expected them to make, the operational aspects of the course, what

In this paper, we describe our experiences teaching concepts of functional programming to a group of almost 300 students. In it we discuss what topics we taught, the kind of assignments we expected them to make, the operational aspects of the course, what the students thought of the course, and how they fared. We compare it to a previous incarnation of the course, and indicate where the course can still be improved. We hope our experiences can help others in a position similar to ours.

File:Tfpie2014 submission 8.pdf

2014-05-20T12:23:31Z

Peter88: Efficient implementations of sets and maps (dictionaries) are important in computer science, and balanced binary search trees are the basis of the best practical implementations. Pedagogically, however, they are often quite complicated, especially with re

Efficient implementations of sets and maps (dictionaries) are important in computer science, and balanced binary search trees are the basis of the best practical implementations. Pedagogically, however, they are often quite complicated, especially with respect to deletion. I present complete code (with
justification and analysis not previously available in the literature) for a purely-functional implementation based on AA trees, which is the simplest treatment of the subject of which I am aware.

File:Tfpie2014 submission 5.pdf

2014-05-20T12:22:30Z

Peter88: Software Architecture is an important part of the Computer Science curriculum. In this paper we propose using Haskell as a tool for exercising architectural patterns, and argue that this enhances understanding of the material by the students and clarity o

Software Architecture is an important part of the Computer Science curriculum. In this paper we propose using Haskell as a tool for exercising architectural patterns, and argue that this enhances understanding of the material by the students and clarity of explanation. We also provide many examples of common architectural patterns and their Haskell counterparts to back up our suggestions.

File:Tfpie2014 submission 12.pdf

2014-05-20T12:21:36Z

Peter88: The target of our course advanced functional programming is currently shifting towards the design, use, and the functional implementation techniques for embedded Domains Specific Languages, DSLs. We use a well-known and very simple imperative language as

The target of our course advanced functional programming is currently shifting towards the design, use, and the functional implementation techniques for embedded Domains Specific Languages, DSLs. We use a well-known and very simple imperative language as running example to demonstrate the similarities and differences between shallow and deep embeddings of such a language. In this paper we briefly show how this is done and indicate some of the possibilities for teaching. We discuss our experiences with this approach. It appears that this language is not only very suited to illustrate the different approaches to make DSLs, but also an excellent motivation to introduce many advanced functional programming concepts.

File:Tfpie2014 submission 6.pdf

2014-05-20T12:20:24Z

Peter88: We describe a method for deepening a student’s understanding of basic physics by asking the student to express physical ideas in a functional programming language. The method is implemented in a second-year course in computational physics at Lebanon Val

We describe a method for deepening a student’s understanding of basic physics by asking the student to express physical ideas in a functional programming language. The method is implemented in a second-year course in computational physics at Lebanon Valley College. We argue that the structure of Newtonian mechanics is clarified by its expression in a language (Haskell) that supports higher order functions, types, and type classes. In electromagnetic theory, the type signatures of functions that calculate electric and magnetic fields clearly express the functional dependency on the charge and current distributions that produce the fields. Many of the ideas in basic physics are well-captured by a type or a function.

File:Tfpie2014 submission 11.pdf

2014-05-20T12:19:12Z

Peter88: In this paper we describe a Von Neumann type single core processor. It has many simplifications in comparison with a single core realistic processor, but it nevertheless is Turing complete. We also describe the role it plays in teaching both functional pr

In this paper we describe a Von Neumann type single core processor. It has many simplifications in comparison with a single core realistic processor, but it nevertheless is Turing complete. We also describe the role it plays in teaching both functional programming as hardware design.

File:Tfpie2014 submission 9.pdf

2014-05-20T12:18:21Z

Peter88: In this paper we present the usage of Haskell and ClaSH in lectures on hardware design for students at the University of Twente. We discuss some examples from the field of digital signal processing, namely a high-pass filter and a low-pass filter. We demo

In this paper we present the usage of Haskell and ClaSH in lectures on hardware design for students at the University of Twente. We discuss some examples from the field of digital signal processing, namely a high-pass filter and a low-pass filter. We demonstrate the continuous formulation of a filter, the discretized formulation, some possibilities to schedule it over time, and the mapping towards an FPGA. The advantage of using Haskell/ClaSH is that the underlying mathematical formulations that students learn in other courses, are readily translated into Haskell and mapped on an FPGA.

File:Tfpie2014 submission 14.pdf

2014-05-20T12:16:27Z

Peter88: An introductory formal languages course exposes students to automata theory, grammars, constructive proofs, computability, and decidability. This exposure usually comes late in the undergraduate curriculum or early in the graduate curriculum. In either se

An introductory formal languages course exposes students to automata theory, grammars, constructive proofs, computability, and decidability. This exposure usually comes late in the undergraduate curriculum or early in the graduate curriculum. In either setting, programming-oriented students find these topics to be challenging or, in many cases, overwhelming and on the fringe of Computer Science. The existence of this perception is not completely absurd, because rarely do formal languages courses, unlike programming courses, offer the sufficient software infrastructure for students to experiment with their ideas and designs. This article describes a library, FSM, designed to provide students with the opportunity to experiment and test their designs using finite-state machines, regular expressions, regular grammars, pushdown automata, context-free grammars, Turing machines, and context-sensitive grammars. Students are able to implement and test machines and grammars of their
own design before proceeding with a formal proof of correctness. That is, students can test their designs much like they do in a programming course. In addition, the library easily allows students to implement the algorithms they develop as part of the constructive proofs they write. Providing students with this ability ought to be a new trend in the formal languages classroom.

File:Tfpie2014 submission 15.pdf

2014-05-20T12:14:52Z

Peter88: We claim that program design techniques, like equational derivation of programs from specifications and separation of concerns, can be applied to obtain results in Mathematics. This means that Mathematics and Programming are not at all alien in their meth

We claim that program design techniques, like equational derivation of programs from specifications and separation of concerns, can be applied to obtain results in Mathematics. This means that Mathematics and Programming are not at all alien in their methods, which is a positive and relevant result in connection to teaching Mathematics in Computing, and especially in Software Engineering. We illustrate the point with a detailed case study, namely the introduction of the tableaux method for Propositional Logic. The whole idea derives from Dijkstra’s Mathematical Methodology and, according to it, we try to disclose the motivation underlying every step taken.

File:Tfpie2014 submission 13.pdf

2014-05-20T12:12:56Z

Peter88: We present the motivations, syllabus and teaching method of Foundations of Computing, a course of Mathematics whose objects happen to be given by a functional programming language.

We present the motivations, syllabus and teaching method of Foundations of Computing, a course of Mathematics whose objects happen to be given by a functional programming language.

TFPIE2014

2014-05-20T12:11:57Z

Peter88: /* Preliminary program */

File:Tfpie2014 submission 10.pdf

2014-05-20T12:11:31Z

Peter88: A type debugger interactively detects the expression which causes a type error. It asks users whether they intend the types of identifiers to be those that the compiler inferred. However, it seems that novice programmers using type debugger often get in t

A type debugger interactively detects the expression which causes a type error. It asks users whether they intend the types of identifiers to be those that the compiler inferred. However, it seems that novice programmers using type debugger often get in trouble with conceiving the solutions of the type errors. In this paper, we analyze the user testing of type debugger and extend it. Furthermore, we also introduce language levels to OCaml by editing the parser. At last, this paper shows some example of error-logs which we think difficult to explain the sources of the type errors. The target of the user testing is 40 novice students belong to the department of information science, Ochanomizu University.

TFPIE2014

2014-05-20T12:10:11Z

Peter88: /* Preliminary program */

File:Tfpie2014 submission 4.pdf

2014-05-20T12:09:42Z

Peter88: A number of introductory textbooks for Haskell use calculations right from the start to give the reader insight into the evaluation of expressions and the behavior of functional programs. In fact, many programming concepts that are considered to be import

A number of introductory textbooks for Haskell use calculations right from the start to give the reader insight into the evaluation of expressions and the behavior of functional programs. In fact, many programming concepts that are considered to be important by the functional programming paradigm, such as recursion, higher-order functions, pattern-matching, and lazy evaluation, can be
explained by showing a step-wise computation. We think that students can get a better understanding of these concepts if they are trained to perform these evaluation steps on their own. We also think that tool support is lacking for experimenting with the evaluation of Haskell expressions. In this paper we present a prototype implementation of a step-wise evaluator for Haskell expressions that supports multiple evaluation strategies, and which is specifically targeted at education. Besides performing these evaluation steps, the tool can also diagnose steps that are submitted by students and provide feedback.

File:Tfpie2014 submission 1.pdf

2014-05-20T12:06:47Z

Peter88: Functional programming languages are seen by many as instrumental to effectively utilizing the computational power of multi-core platforms. As a result, there is growing interest to introduce functional programming and functional thinking as early as poss

Functional programming languages are seen by many as instrumental to effectively utilizing the computational power of multi-core platforms. As a result, there is growing interest to introduce functional programming and functional thinking as early as possible within the computer science
curriculum.
Bricklayer is an API, written in SML, that provides a set of abstractions for creating LEGO® artifacts which can be viewed using LEGO Digital Designer. The goal of Bricklayer is to create a problem space (i.e., a set of LEGO artifacts) that is accessible and engaging to programmers (especially novice programmers) while providing an authentic introduction to the functional programming
language SML.

TFPIE2014

2014-05-09T13:20:27Z

Peter88: /* Preliminary program */

TFPIE2014

2014-05-09T13:12:48Z

Peter88: /* Contributions */

TFPIE2014

2014-04-24T09:36:23Z

Peter88: /* TFPIE 2014 */

TFPIE2014

2013-12-03T09:41:50Z

Peter88: Created page with "== TFPIE 2014 == TFPIE 2014 is the third International Workshop on Trends in Functional Programming in Education. It is co-located with TFP 2014 which is held in Soesterberg, at ..."

Main Page

2013-12-03T09:37:31Z

Peter88: /* TFPIE */

'''MediaWiki has been successfully installed.'''

Consult the [http://meta.wikimedia.org/wiki/Help:Contents User's Guide] for information on using the wiki software.

== TFPIE ==
Welcome to the TFPIE wiki. The TFPIE wiki is a portal to find and contribute material on the subject of Functional Programming in an educational setting. It has been created on the occasion of the first International Workshop on Trends in Functional Programming In Education that was held at the University of St. Andrews, Scotland, on june 11th 2012.

=== TFPIE wiki ===
During the first TFPIE workshop, a group of enthusiastic functional programmers expressed their willingness to contribute further to this wiki. We are currently exploring how to structure this wiki, its policies, and initial content. A brainstorm lunch-meeting was held during the subsequent Trends in Functional Programming Symposium. We invite you to contribute to this wiki as well.

=== TFPIE workshops ===
We plan to organize the TFPIE workshops annually. These workshops are an informal meeting intended for researchers, professors, teachers, and all professionals that use or are interested in the use of functional programming in education. TFPIE aims to be a venue where novel ideas, classroom-tested ideas, and work in progress on the use of functional programming in education are discussed. The one-day workshops will foster a spirit of open discussion by having a review process for publication after the workshop.

==== [[TFPIE2012]] ====
The first TFPIE workshop, University of St. Andrews, Scotland, june 11th 2012.

==== [[TFPIE2013]] ====
The second TFPIE workshop, Brigham Young University, Provo, Utah, USA, may 13 2013.

=== [[TFPIE2014]] ===
The third TFPIE workshop, Soesterberg at 'Kontakt der Kontinenten', The Netherlands, may 25 2014.

TFPIE2013

2013-05-21T09:49:27Z

Peter88: /* Contributions */

File:TFPIE2013 Steps Towards Teaching Clojure.pdf

2013-05-12T22:40:24Z

Peter88: The Clojure programming language is a new language in the LISP family that is gaining rapid popularity in industry due to its elegant design and suitability for concurrent programming. We argue that Clojure has benefits for being taught as a programming l

The Clojure programming language is a new language in the LISP family that is gaining rapid popularity in industry due to its elegant design and suitability for concurrent programming. We argue that Clojure has benefits for being taught as a programming language in an introductory course. We discuss several challenges that need to be overcome in order to teach Clojure to students with no programming experience, such as modifying error messages and providing a beginner-friendly development environment, and describe our work in progress towards these goals. We also discuss conceptual approaches towards teaching Clojure to beginners that make use of Clojure sequence abstraction.

File:TFPIE2013 Functional Reactive Programming.pdf

2013-05-12T22:39:18Z

Peter88: