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 |
| 20:09, 18 February 2021 | How-to-Design-while-Loops.pdf (file) | |
491 KB | Morazanm | 1 | |
| 19:36, 18 February 2021 | TFPIE-2021-DOCI-Morazan.pdf (file) | |
517 KB | Morazanm | 1 | |
| 15:54, 17 February 2021 | Teaching Programming to Novices Using the codeBoot Online Environment.pdf (file) | |
3.2 MB | OlivierMelancon | 2 | |
| 12:15, 17 February 2021 | TFPIE AHF JV Slides.pdf (file) | |
2.72 MB | JorgenVilladsen | 1 | |
| 13:21, 15 February 2021 | TFPIE AHF JV.pdf (file) | |
549 KB | JorgenVilladsen | 1 | |
| 14:50, 20 April 2020 | TFPIE2020.pdf (file) | |
491 KB | Peter88 | removed all concrete code fragments | 1 |
| 12:56, 11 February 2020 | Morazan-TFPIE-2020-Prog-InnerCity.pdf (file) | |
290 KB | Jurriaanhage | 1 | |
| 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 |
| 19:01, 22 July 2016 | TFPIE16-paper-vwinter.pdf (file) | |
5.36 MB | JayMcCarthy | 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 | |
| 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 | |
| 23:37, 7 July 2015 | Alegre.pdf (file) | |
246 KB | FernandoAlegre | Workshop paper: Haskell in Middle and High School Mathematics | 2 |
| 13:49, 8 June 2015 | Presentation tfpie15 francisco saiz.pdf (file) | |
453 KB | FranciscoSaiz | 1 | |
| 20:56, 5 June 2015 | Slide.pdf (file) | |
715 KB | ChihiroUehara | 1 | |
| 15:09, 5 June 2015 | Presentation.pdf (file) | |
1.32 MB | JacobBoender | Presentation on MIRTO at TFPIE2015 | 1 |
| 11:48, 18 June 2014 | TFPIE14.pieter.slides.pdf (file) | |
394 KB | Pieter | 2 | |
| 09:39, 16 June 2014 | Tfpie2014-teaching-sw-arch.pdf (file) | |
267 KB | AlejandroSerrano | 1 | |
| 08:51, 27 May 2014 | TFPIEJeuring.pdf (file) | |
1.32 MB | JohanJeuring | 1 | |
| 18:00, 26 May 2014 | Tfpie2014 submission 6.pdf (file) | |
153 KB | ScottWalck | Fixed a footnote. | 2 |
| 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 |
| 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 |
| 15:14, 26 May 2014 | Tfpie2014 submission 11 slides.pdf (file) | |
171 KB | JanKuper | Slides of presentation on The Sprockell | 1 |
| 14:25, 20 May 2014 | Tfpie2014 submission 16.pdf (file) | |
111 KB | Peter88 | 1 | |
| 14:24, 20 May 2014 | Tfpie2014 submission 7.pdf (file) | |
123 KB | 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 | 1 |
| 14:23, 20 May 2014 | Tfpie2014 submission 8.pdf (file) | |
312 KB | 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 | 1 |
| 14:22, 20 May 2014 | Tfpie2014 submission 5.pdf (file) | |
175 KB | 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 | 1 |