File list
Jump to navigation
Jump to search
This special page shows all uploaded files.
| Date | Name | Thumbnail | Size | User | Description | Versions |
|---|---|---|---|---|---|---|
| 23:37, 7 July 2015 | Alegre.pdf (file) |  |
246 KB | FernandoAlegre | Workshop paper: Haskell in Middle and High School Mathematics | 2 |
| 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 |
| 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 |
| 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 |
| 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 |
| 19:30, 13 January 2023 | Fp-e-exam-pres.pdf (file) | |
494 KB | ElenaMachkasova | Slides for Lubke et al presentation | 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: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 |
| 20:09, 18 February 2021 | How-to-Design-while-Loops.pdf (file) | |
491 KB | Morazanm | 1 | |
| 15:36, 15 March 2022 | Intro-Func-Objects-CS1.pdf (file) | |
196 KB | Morazanm | Draft article | 1 |
| 22:57, 29 May 2012 | Jculecturenotesdutch.pdf (file) | |
371 KB | J.stutterheim | Lecture notes for the JCU prethesis (Dutch) | 1 |
| 22:02, 15 March 2022 | Keynote TFPIE 2022 The Perfect FP Course.pdf (file) | |
1.87 MB | Peter88 | 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 |
| 12:56, 11 February 2020 | Morazan-TFPIE-2020-Prog-InnerCity.pdf (file) | |
290 KB | Jurriaanhage | 1 | |
| 15:09, 5 June 2015 | Presentation.pdf (file) | |
1.32 MB | JacobBoender | Presentation on MIRTO at TFPIE2015 | 1 |
| 13:49, 8 June 2015 | Presentation tfpie15 francisco saiz.pdf (file) | |
453 KB | FranciscoSaiz | 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:56, 5 June 2015 | Slide.pdf (file) | |
715 KB | ChihiroUehara | 1 | |
| 17:07, 12 January 2023 | Slides-reg-exp-fsm.pdf (file) | |
712 KB | Morazanm | 1 | |
| 15:31, 15 March 2022 | Slides-tfpie2022.pdf (file) | |
845 KB | Morazanm | Slides for Introduction to Functional Classes in CS1 | 1 |
| 19:36, 18 February 2021 | TFPIE-2021-DOCI-Morazan.pdf (file) | |
517 KB | Morazanm | 1 | |
| 23:13, 30 January 2023 | TFPIE-2023-Alda.pdf (file) | |
1.94 MB | ElenaMachkasova | 1 | |
| 11:48, 18 June 2014 | TFPIE14.pieter.slides.pdf (file) | |
394 KB | Pieter | 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 | |
| 19:01, 22 July 2016 | TFPIE16-paper-vwinter.pdf (file) | |
5.36 MB | JayMcCarthy | 2 | |
| 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 | |
| 11:00, 2 June 2012 | TFPIE2012- Recursion Schemes of Scientific Models-demoA.png (file) |  |
35 KB | Btrancon | 2 | |
| 11:26, 2 June 2012 | TFPIE2012- Recursion Schemes of Scientific Models-demoD.png (file) |  |
31 KB | Btrancon | 1 | |
| 11:22, 2 June 2012 | TFPIE2012- Recursion Schemes of Scientific Models-demoI.png (file) |  |
49 KB | Btrancon | 1 | |
| 11:30, 2 June 2012 | TFPIE2012- Recursion Schemes of Scientific Models-demoR.png (file) |  |
20 KB | Btrancon | 1 | |
| 11:14, 2 June 2012 | TFPIE2012- Recursion Schemes of Scientific Models-demoT.png (file) |  |
82 KB | Btrancon | 1 | |
| 15:12, 29 May 2012 | TFPIE2012 Draft COMP 2650Experience Deb.pdf (file) | |
87 KB | WikiSysop | A proposal to teach functional programming, in an introductory service course, to non-majors with minimal mathematics background, is certain to face skepticism, cynicism, and strong opposition. ... | 1 |
| 15:15, 29 May 2012 | TFPIE2012 Draft CS4204ConcurrencyMulticore Hammond.pdf (file) | |
37 KB | WikiSysop | We have been teaching a new 25-hour advanced lecture module on concurrency and multicore parallelism in 2012. ... | 1 |
| 15:25, 29 May 2012 | TFPIE2012 Draft ConnectingTheDots ODonnell.pdf (file) | |
308 KB | WikiSysop | A functional hardware description language enables students to gain a working understanding of computer systems, and to see how the levels of abstraction fit together. ... | 1 |
| 15:10, 29 May 2012 | TFPIE2012 Draft FortyHoursOfDeclarativeProgramming Stutterheim et al.pdf (file) | |
286 KB | WikiSysop | This paper documents our experience using declarative languages to give secondary school students a first taste of Computer Science. ... | 1 |
| 15:05, 29 May 2012 | TFPIE2012 Draft GoodAbstractionDesign Holzenspies.pdf (file) | |
188 KB | WikiSysop | Motivated by wanting to teach good abstraction skills in programming practice to moderately unseasoned programmers, I developed and taught a narrative to argue against ad hoc abstractions. ... | 1 |
| 14:17, 31 May 2012 | TFPIE2012 Draft HolmesForHaskell Hage and Vermeer.pdf (file) | |
204 KB | Jurriaanhage | 1 | |
| 14:53, 29 May 2012 | TFPIE2012 Draft HowComputersWork Page and Gamboa.pdf (file) | |
144 KB | WikiSysop | What would you teach if you had only one course to help students grasp the essence of computation and perhaps inspire a few of them to make computing a subject of further study? ... | 1 |
| 15:21, 29 May 2012 | TFPIE2012 Draft IntensiveProgrammesInFP Zsok and Horvath.pdf (file) | |
111 KB | WikiSysop | In this paper we present the advantages and experiences of the Central European Functional Programming summer school series. ... | 1 |
| 15:00, 29 May 2012 | TFPIE2012 Draft MathematicsIsImprecise Ragde.pdf (file) | |
103 KB | WikiSysop | We commonly think of mathematics as bringing precision to application domains, but its relationship with computer science is more complex. ... | 1 |
| 15:24, 29 May 2012 | TFPIE2012 Draft RecursionSchemesOfScientificModels Widemann.pdf (file) | |
222 KB | WikiSysop | The Squiggol approach to recursive algorithms separates computation and recursion scheme. We revisit the idea in a setting of simple but paradigmatic problems in scientific, particularly ecological, modelling. ... | 1 |
| 15:27, 29 May 2012 | TFPIE2012 Draft TactileTerms Holzenspies.pdf (file) | |
118 KB | WikiSysop | In this paper, we are arguing for a new way of programmer-compiler interaction. ... | 1 |
