File list
Jump to navigation
Jump to search
This special page shows all uploaded files.
| Date | Name | Thumbnail | Size | User | Description | Versions |
|---|---|---|---|---|---|---|
| 13:49, 8 June 2015 | Presentation tfpie15 francisco saiz.pdf (file) |  |
453 KB | FranciscoSaiz | 1 | |
| 23:37, 7 July 2015 | Alegre.pdf (file) | |
246 KB | FernandoAlegre | Workshop paper: Haskell in Middle and High School Mathematics | 2 |
| 22:56, 27 June 2016 | TFPIE16-paper-pragde.pdf (file) | |
224 KB | JayMcCarthy | 1 | |
| 22:56, 27 June 2016 | TFPIE16-paper-swalck.pdf (file) | |
154 KB | JayMcCarthy | 1 | |
| 22:57, 27 June 2016 | TFPIE16-slides-emachkasova.pdf (file) | |
1.22 MB | JayMcCarthy | 1 | |
| 22:57, 27 June 2016 | TFPIE16-slides-pragde.pdf (file) | |
511 KB | JayMcCarthy | 1 | |
| 22:57, 27 June 2016 | TFPIE16-slides-swalck.pdf (file) | |
460 KB | JayMcCarthy | 1 | |
| 22:58, 27 June 2016 | TFPIE16-slides-tsteenvoorden.pdf (file) | |
1.74 MB | JayMcCarthy | 1 | |
| 22:58, 27 June 2016 | TFPIE16-slides-vwinter.pdf (file) | |
5.54 MB | JayMcCarthy | 1 | |
| 19:01, 22 July 2016 | TFPIE16-paper-vwinter.pdf (file) | |
5.36 MB | JayMcCarthy | 2 | |
| 17:41, 11 June 2019 | TFPIE 2019 Teletype Specs.pdf (file) | |
211 KB | OliverWestphal | Specifying Teletype Behavior for the Automated Handling of Exercises on Interactive Haskell Programs | 1 |
| 12:56, 11 February 2020 | Morazan-TFPIE-2020-Prog-InnerCity.pdf (file) | |
290 KB | Jurriaanhage | 1 | |
| 14:50, 20 April 2020 | TFPIE2020.pdf (file) | |
491 KB | Peter88 | removed all concrete code fragments | 1 |
| 13:21, 15 February 2021 | TFPIE AHF JV.pdf (file) | |
549 KB | JorgenVilladsen | 1 | |
| 12:15, 17 February 2021 | TFPIE AHF JV Slides.pdf (file) | |
2.72 MB | JorgenVilladsen | 1 | |
| 15:54, 17 February 2021 | Teaching Programming to Novices Using the codeBoot Online Environment.pdf (file) | |
3.2 MB | OlivierMelancon | 2 | |
| 19:36, 18 February 2021 | TFPIE-2021-DOCI-Morazan.pdf (file) | |
517 KB | Morazanm | 1 | |
| 20:09, 18 February 2021 | How-to-Design-while-Loops.pdf (file) | |
491 KB | Morazanm | 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 |
| 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 |
| 15:31, 15 March 2022 | Slides-tfpie2022.pdf (file) | |
845 KB | Morazanm | Slides for Introduction to Functional Classes in CS1 | 1 |
| 15:36, 15 March 2022 | Intro-Func-Objects-CS1.pdf (file) | |
196 KB | Morazanm | Draft article | 1 |
| 22:02, 15 March 2022 | Keynote TFPIE 2022 The Perfect FP Course.pdf (file) | |
1.87 MB | Peter88 | 2 | |
| 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 |
| 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 |
| 00:55, 16 March 2022 | TFPIE 2022 Jacobsen Villadsen.pdf (file) | |
144 KB | JorgenVilladsen | 1 | |
| 13:21, 16 March 2022 | TFPIE 2022 Jacobsen Villadsen Slides.pdf (file) | |
1.87 MB | JorgenVilladsen | 1 | |
| 17:07, 12 January 2023 | Slides-reg-exp-fsm.pdf (file) | |
712 KB | Morazanm | 1 | |
| 17:07, 13 January 2023 | Tfpie-2023-shriram-compressed.pdf (file) | |
1.27 MB | ElenaMachkasova | Keynote slides | 1 |
| 19:30, 13 January 2023 | Fp-e-exam-pres.pdf (file) | |
494 KB | ElenaMachkasova | Slides for Lubke et al presentation | 1 |
| 19:31, 13 January 2023 | TFPIE 2023 derive exam.pdf (file) | |
163 KB | ElenaMachkasova | Extended abstract for Lubke et al | 1 |
| 20:44, 14 January 2023 | TFPIE 2023-Rui Simao.pdf (file) | |
608 KB | ElenaMachkasova | 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 |
| 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 |
| 03:54, 26 January 2023 | Disco-tfpie23.pdf (file) | |
217 KB | ElenaMachkasova | Draft paper for "Disco: A Functional Programming Language for Discrete Mathematics" | 1 |
| 23:13, 30 January 2023 | TFPIE-2023-Alda.pdf (file) | |
1.94 MB | ElenaMachkasova | 1 |