Upload log
Jump to navigation
Jump to search
Below is a list of the most recent file uploads. See the gallery of new files for a more visual overview.
- 21:13, 30 January 2023 ElenaMachkasova talk contribs uploaded File:TFPIE-2023-Alda.pdf
- 01:54, 26 January 2023 ElenaMachkasova talk contribs uploaded File:Disco-tfpie23.pdf (Draft paper for "Disco: A Functional Programming Language for Discrete Mathematics")
- 01:54, 26 January 2023 ElenaMachkasova talk contribs uploaded File:Disco-tfpie23-talk.pdf (Slides for "Disco: A Functional Programming Language for Discrete Mathematics" presentation.)
- 01:51, 26 January 2023 ElenaMachkasova talk contribs uploaded File:ProofBuddyDraft.pdf (Preliminary submission for "ProofBuddy: Acquiring Proof Competence with Friendly Assistance".)
- 01:50, 26 January 2023 ElenaMachkasova talk contribs uploaded File:ProofBuddySlides.pdf (Slides for "ProofBuddy: Acquiring Proof Competence with Friendly Assistance" presentation.)
- 18:44, 14 January 2023 ElenaMachkasova talk contribs uploaded File:TFPIE 2023-Rui Simao.pdf
- 17:31, 13 January 2023 ElenaMachkasova talk contribs uploaded File:TFPIE 2023 derive exam.pdf (Extended abstract for Lubke et al)
- 17:30, 13 January 2023 ElenaMachkasova talk contribs uploaded File:Fp-e-exam-pres.pdf (Slides for Lubke et al presentation)
- 15:07, 13 January 2023 ElenaMachkasova talk contribs uploaded File:Tfpie-2023-shriram-compressed.pdf (Keynote slides)
- 15:07, 12 January 2023 Morazanm talk contribs uploaded File:Slides-reg-exp-fsm.pdf
- 11:21, 16 March 2022 JorgenVilladsen talk contribs uploaded File:TFPIE 2022 Jacobsen Villadsen Slides.pdf
- 22:55, 15 March 2022 JorgenVilladsen talk contribs uploaded File:TFPIE 2022 Jacobsen Villadsen.pdf
- 20:23, 15 March 2022 DmitryKondratyev talk contribs uploaded File:GorodnyayaKondratyev.pdf (The talk presents one scheme of teaching functional programming, which has developed in many years of teaching experience on the basis of Mechanics and Mathematics Faculty of Novosibirsk State University. The issues of mastering functional programming...)
- 20:09, 15 March 2022 DmitryKondratyev talk contribs uploaded File:Functional programming learning path.pdf (The article describes one scheme of teaching functional programming, which has developed in many years of teaching experience on the basis of Mechanics and Mathematics Faculty of Novosibirsk State University. The issues of mastering functional programm...)
- 20:02, 15 March 2022 Peter88 talk contribs uploaded a new version of File:Keynote TFPIE 2022 The Perfect FP Course.pdf
- 13:36, 15 March 2022 Morazanm talk contribs uploaded File:Intro-Func-Objects-CS1.pdf (Draft article)
- 13:31, 15 March 2022 Morazanm talk contribs uploaded File:Slides-tfpie2022.pdf (Slides for Introduction to Functional Classes in CS1)
- 08:29, 15 March 2022 MatthewFarrugiaRoberts talk contribs uploaded File:Farrugia-Roberts and Sondergaard TFPIE 2022 slides.pdf ("Teaching simple constructive proofs with Haskell programs" by Matthew Farrugia-Roberts and Harald Søndergaard. Slide deck for presentation at TFPIE2022.)
- 08:29, 15 March 2022 MatthewFarrugiaRoberts talk contribs uploaded File:Farrugia-Roberts and Sondergaard TFPIE 2022 extended abstract.pdf ("Teaching simple constructive proofs with Haskell programs" by Matthew Farrugia-Roberts and Harald Søndergaard. Extended abstract accepted for presentation at TFPIE2022.)
- 07:59, 15 March 2022 Peter88 talk contribs uploaded File:Keynote TFPIE 2022 The Perfect FP Course.pdf (Slides keynote "The Perfect Functional Programming Course" by Peter Achten)
- 18:09, 18 February 2021 Morazanm talk contribs uploaded File:How-to-Design-while-Loops.pdf
- 17:36, 18 February 2021 Morazanm talk contribs uploaded File:TFPIE-2021-DOCI-Morazan.pdf
- 13:54, 17 February 2021 OlivierMelancon talk contribs uploaded a new version of File:Teaching Programming to Novices Using the codeBoot Online Environment.pdf
- 10:15, 17 February 2021 JorgenVilladsen talk contribs uploaded File:TFPIE AHF JV Slides.pdf
- 17:11, 16 February 2021 OlivierMelancon talk contribs uploaded File:Teaching Programming to Novices Using the codeBoot Online Environment.pdf
- 11:21, 15 February 2021 JorgenVilladsen talk contribs uploaded File:TFPIE AHF JV.pdf
- 12:50, 20 April 2020 Peter88 talk contribs uploaded a new version of File:TFPIE2020.pdf (removed all concrete code fragments)
- 15:21, 12 February 2020 Peter88 talk contribs uploaded File:TFPIE2020.pdf (Segments: a better Rainfall problem for FP? - position presentation -)
- 10:56, 11 February 2020 Jurriaanhage talk contribs uploaded File:Morazan-TFPIE-2020-Prog-InnerCity.pdf
- 15:41, 11 June 2019 OliverWestphal talk contribs uploaded File:TFPIE 2019 Teletype Specs.pdf (Specifying Teletype Behavior for the Automated Handling of Exercises on Interactive Haskell Programs)
- 17:01, 22 July 2016 JayMcCarthy talk contribs uploaded a new version of File:TFPIE16-paper-vwinter.pdf
- 20:58, 27 June 2016 JayMcCarthy talk contribs uploaded File:TFPIE16-slides-vwinter.pdf
- 20:58, 27 June 2016 JayMcCarthy talk contribs uploaded File:TFPIE16-slides-tsteenvoorden.pdf
- 20:57, 27 June 2016 JayMcCarthy talk contribs uploaded File:TFPIE16-slides-swalck.pdf
- 20:57, 27 June 2016 JayMcCarthy talk contribs uploaded File:TFPIE16-slides-pragde.pdf
- 20:57, 27 June 2016 JayMcCarthy talk contribs uploaded File:TFPIE16-slides-emachkasova.pdf
- 20:57, 27 June 2016 JayMcCarthy talk contribs uploaded File:TFPIE16-paper-vwinter.pdf
- 20:56, 27 June 2016 JayMcCarthy talk contribs uploaded File:TFPIE16-paper-swalck.pdf
- 20:56, 27 June 2016 JayMcCarthy talk contribs uploaded File:TFPIE16-paper-pragde.pdf
- 21:37, 7 July 2015 FernandoAlegre talk contribs uploaded a new version of File:Alegre.pdf (Workshop paper: Haskell in Middle and High School Mathematics)
- 13:37, 7 July 2015 FernandoAlegre talk contribs uploaded File:Alegre.pdf (Workshop paper: Haskell in Middle and High School Mathematics)
- 11:49, 8 June 2015 FranciscoSaiz talk contribs uploaded File:Presentation tfpie15 francisco saiz.pdf
- 18:56, 5 June 2015 ChihiroUehara talk contribs uploaded File:Slide.pdf
- 13:09, 5 June 2015 JacobBoender talk contribs uploaded File:Presentation.pdf (Presentation on MIRTO at TFPIE2015)
- 09:48, 18 June 2014 Pieter talk contribs uploaded a new version of File:TFPIE14.pieter.slides.pdf
- 06:06, 18 June 2014 Pieter talk contribs uploaded File:TFPIE14.pieter.slides.pdf (Slides of presentation: Teaching the Construction of Domain Specific Languages)
- 07:39, 16 June 2014 AlejandroSerrano talk contribs uploaded File:Tfpie2014-teaching-sw-arch.pdf
- 06:51, 27 May 2014 JohanJeuring talk contribs uploaded File:TFPIEJeuring.pdf
- 16:00, 26 May 2014 ScottWalck talk contribs uploaded a new version of File:Tfpie2014 submission 6.pdf (Fixed a footnote.)
- 15:49, 26 May 2014 ScottWalck talk contribs uploaded File:LearnPhysics.pdf (Slides from the talk "Learn Physics by Programming in Haskell" at TFPIE 2014.)