File list
Jump to navigation
Jump to search
This special page shows all uploaded files.
Date | Name | Thumbnail | Size | User | Description | Versions |
---|---|---|---|---|---|---|
23:13, 30 January 2023 | TFPIE-2023-Alda.pdf (file) | 1.94 MB | ElenaMachkasova | 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 | |
03:51, 26 January 2023 | ProofBuddyDraft.pdf (file) | 282 KB | ElenaMachkasova | Preliminary submission for "ProofBuddy: Acquiring Proof Competence with Friendly Assistance". | 1 | |
03:50, 26 January 2023 | ProofBuddySlides.pdf (file) | 1.2 MB | ElenaMachkasova | Slides for "ProofBuddy: Acquiring Proof Competence with Friendly Assistance" presentation. | 1 | |
20:44, 14 January 2023 | TFPIE 2023-Rui Simao.pdf (file) | 608 KB | ElenaMachkasova | 1 | ||
19:31, 13 January 2023 | TFPIE 2023 derive exam.pdf (file) | 163 KB | ElenaMachkasova | Extended abstract for Lubke et al | 1 | |
19:30, 13 January 2023 | Fp-e-exam-pres.pdf (file) | 494 KB | ElenaMachkasova | Slides for Lubke et al presentation | 1 | |
17:07, 13 January 2023 | Tfpie-2023-shriram-compressed.pdf (file) | 1.27 MB | ElenaMachkasova | Keynote slides | 1 | |
17:07, 12 January 2023 | Slides-reg-exp-fsm.pdf (file) | 712 KB | Morazanm | 1 | ||
13:21, 16 March 2022 | TFPIE 2022 Jacobsen Villadsen Slides.pdf (file) | 1.87 MB | JorgenVilladsen | 1 | ||
00:55, 16 March 2022 | TFPIE 2022 Jacobsen Villadsen.pdf (file) | 144 KB | JorgenVilladsen | 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 | |
22:02, 15 March 2022 | Keynote TFPIE 2022 The Perfect FP Course.pdf (file) | 1.87 MB | Peter88 | 2 | ||
15:36, 15 March 2022 | Intro-Func-Objects-CS1.pdf (file) | 196 KB | Morazanm | Draft article | 1 | |
15:31, 15 March 2022 | Slides-tfpie2022.pdf (file) | 845 KB | Morazanm | Slides for Introduction to Functional Classes in CS1 | 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 |