File list
Jump to navigation
Jump to search
This special page shows all uploaded files.
| Date | Name | Thumbnail | Size | User | Description | Versions |
|---|---|---|---|---|---|---|
| 11:22, 2 June 2012 | TFPIE2012- Recursion Schemes of Scientific Models-demoI.png (file) |  |
49 KB | Btrancon | 1 | |
| 11:26, 2 June 2012 | TFPIE2012- Recursion Schemes of Scientific Models-demoD.png (file) |  |
31 KB | Btrancon | 1 | |
| 11:00, 2 June 2012 | TFPIE2012- Recursion Schemes of Scientific Models-demoA.png (file) |  |
35 KB | Btrancon | 2 | |
| 22:58, 27 June 2016 | TFPIE16-slides-vwinter.pdf (file) |  |
5.54 MB | JayMcCarthy | 1 | |
| 22:58, 27 June 2016 | TFPIE16-slides-tsteenvoorden.pdf (file) | |
1.74 MB | JayMcCarthy | 1 | |
| 22:57, 27 June 2016 | TFPIE16-slides-swalck.pdf (file) | |
460 KB | JayMcCarthy | 1 | |
| 22:57, 27 June 2016 | TFPIE16-slides-pragde.pdf (file) | |
511 KB | JayMcCarthy | 1 | |
| 22:57, 27 June 2016 | TFPIE16-slides-emachkasova.pdf (file) | |
1.22 MB | JayMcCarthy | 1 | |
| 19:01, 22 July 2016 | TFPIE16-paper-vwinter.pdf (file) | |
5.36 MB | JayMcCarthy | 2 | |
| 22:56, 27 June 2016 | TFPIE16-paper-swalck.pdf (file) | |
154 KB | JayMcCarthy | 1 | |
| 22:56, 27 June 2016 | TFPIE16-paper-pragde.pdf (file) | |
224 KB | JayMcCarthy | 1 | |
| 11:48, 18 June 2014 | TFPIE14.pieter.slides.pdf (file) | |
394 KB | Pieter | 2 | |
| 23:13, 30 January 2023 | TFPIE-2023-Alda.pdf (file) | |
1.94 MB | ElenaMachkasova | 1 | |
| 19:36, 18 February 2021 | TFPIE-2021-DOCI-Morazan.pdf (file) | |
517 KB | Morazanm | 1 | |
| 15:31, 15 March 2022 | Slides-tfpie2022.pdf (file) | |
845 KB | Morazanm | Slides for Introduction to Functional Classes in CS1 | 1 |
| 17:07, 12 January 2023 | Slides-reg-exp-fsm.pdf (file) | |
712 KB | Morazanm | 1 | |
| 20:56, 5 June 2015 | Slide.pdf (file) | |
715 KB | ChihiroUehara | 1 | |
| 03:50, 26 January 2023 | ProofBuddySlides.pdf (file) | |
1.2 MB | ElenaMachkasova | Slides for "ProofBuddy: Acquiring Proof Competence with Friendly Assistance" presentation. | 1 |
| 03:51, 26 January 2023 | ProofBuddyDraft.pdf (file) | |
282 KB | ElenaMachkasova | Preliminary submission for "ProofBuddy: Acquiring Proof Competence with Friendly Assistance". | 1 |
| 13:49, 8 June 2015 | Presentation tfpie15 francisco saiz.pdf (file) | |
453 KB | FranciscoSaiz | 1 | |
| 15:09, 5 June 2015 | Presentation.pdf (file) | |
1.32 MB | JacobBoender | Presentation on MIRTO at TFPIE2015 | 1 |
| 12:56, 11 February 2020 | Morazan-TFPIE-2020-Prog-InnerCity.pdf (file) | |
290 KB | Jurriaanhage | 1 | |
| 17:49, 26 May 2014 | LearnPhysics.pdf (file) | |
195 KB | ScottWalck | Slides from the talk "Learn Physics by Programming in Haskell" at TFPIE 2014. | 1 |
| 22:02, 15 March 2022 | Keynote TFPIE 2022 The Perfect FP Course.pdf (file) | |
1.87 MB | Peter88 | 2 | |
| 22:57, 29 May 2012 | Jculecturenotesdutch.pdf (file) | |
371 KB | J.stutterheim | Lecture notes for the JCU prethesis (Dutch) | 1 |
| 15:36, 15 March 2022 | Intro-Func-Objects-CS1.pdf (file) | |
196 KB | Morazanm | Draft article | 1 |
| 20:09, 18 February 2021 | How-to-Design-while-Loops.pdf (file) | |
491 KB | Morazanm | 1 | |
| 22:23, 15 March 2022 | GorodnyayaKondratyev.pdf (file) | |
183 KB | DmitryKondratyev | 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... | 1 |
| 22:09, 15 March 2022 | Functional programming learning path.pdf (file) | |
172 KB | DmitryKondratyev | 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... | 1 |
| 19:30, 13 January 2023 | Fp-e-exam-pres.pdf (file) | |
494 KB | ElenaMachkasova | Slides for Lubke et al presentation | 1 |
| 10:29, 15 March 2022 | Farrugia-Roberts and Sondergaard TFPIE 2022 slides.pdf (file) | |
377 KB | MatthewFarrugiaRoberts | "Teaching simple constructive proofs with Haskell programs" by Matthew Farrugia-Roberts and Harald Søndergaard. Slide deck for presentation at TFPIE2022. | 1 |
| 10:29, 15 March 2022 | Farrugia-Roberts and Sondergaard TFPIE 2022 extended abstract.pdf (file) | |
241 KB | MatthewFarrugiaRoberts | "Teaching simple constructive proofs with Haskell programs" by Matthew Farrugia-Roberts and Harald Søndergaard. Extended abstract accepted for presentation at TFPIE2022. | 1 |
| 15:57, 26 May 2014 | FSM.pdf (file) | |
1.16 MB | Morazanm | These are the slides of my presentation on programming in an Intro to Automata Theory and Formal Languages course. | 1 |
| 03:54, 26 January 2023 | Disco-tfpie23.pdf (file) | |
217 KB | ElenaMachkasova | Draft paper for "Disco: A Functional Programming Language for Discrete Mathematics" | 1 |
| 03:54, 26 January 2023 | Disco-tfpie23-talk.pdf (file) | |
164 KB | ElenaMachkasova | Slides for "Disco: A Functional Programming Language for Discrete Mathematics" presentation. | 1 |
| 12:38, 15 June 2012 | Brainstorm june 13 2012.pdf (file) | |
97 KB | Peter88 | Brief summary of brainstorm lunch-meeting held on june 13 2012 after TFPIE 2012 to discuss ideas, concept, and so on for a general portal to functional programming in education. | 1 |
| 23:37, 7 July 2015 | Alegre.pdf (file) | |
246 KB | FernandoAlegre | Workshop paper: Haskell in Middle and High School Mathematics | 2 |
