File list
Jump to navigation
Jump to search
This special page shows all uploaded files.
Date | Name | Thumbnail | Size | User | Description | Versions |
---|---|---|---|---|---|---|
03:51, 26 January 2023 | ProofBuddyDraft.pdf (file) | 282 KB | ElenaMachkasova | Preliminary submission for "ProofBuddy: Acquiring Proof Competence with Friendly Assistance". | 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 | |
12:56, 11 February 2020 | Morazan-TFPIE-2020-Prog-InnerCity.pdf (file) | 290 KB | Jurriaanhage | 1 | ||
10:51, 2 June 2012 | TFPIE2012 Supplement RecursionSchemesOfScientificModels Widemann.zip (file) | 303 KB | Btrancon | Electronic Supplement: Literate Haskell code of the article as mentioned in a footnote. | 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 | |
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 | |
22:57, 29 May 2012 | Jculecturenotesdutch.pdf (file) | 371 KB | J.stutterheim | Lecture notes for the JCU prethesis (Dutch) | 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 | |
11:48, 18 June 2014 | TFPIE14.pieter.slides.pdf (file) | 394 KB | Pieter | 2 | ||
13:49, 8 June 2015 | Presentation tfpie15 francisco saiz.pdf (file) | 453 KB | FranciscoSaiz | 1 | ||
22:57, 27 June 2016 | TFPIE16-slides-swalck.pdf (file) | 460 KB | JayMcCarthy | 1 | ||
14:50, 20 April 2020 | TFPIE2020.pdf (file) | 491 KB | Peter88 | removed all concrete code fragments | 1 | |
20:09, 18 February 2021 | How-to-Design-while-Loops.pdf (file) | 491 KB | Morazanm | 1 | ||
19:30, 13 January 2023 | Fp-e-exam-pres.pdf (file) | 494 KB | ElenaMachkasova | Slides for Lubke et al presentation | 1 | |
22:57, 27 June 2016 | TFPIE16-slides-pragde.pdf (file) | 511 KB | JayMcCarthy | 1 | ||
19:36, 18 February 2021 | TFPIE-2021-DOCI-Morazan.pdf (file) | 517 KB | Morazanm | 1 | ||
13:21, 15 February 2021 | TFPIE AHF JV.pdf (file) | 549 KB | JorgenVilladsen | 1 | ||
20:44, 14 January 2023 | TFPIE 2023-Rui Simao.pdf (file) | 608 KB | ElenaMachkasova | 1 | ||
14:18, 20 May 2014 | Tfpie2014 submission 9.pdf (file) | 650 KB | Peter88 | In this paper we present the usage of Haskell and ClaSH in lectures on hardware design for students at the University of Twente. We discuss some examples from the field of digital signal processing, namely a high-pass filter and a low-pass filter. We demo | 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 | ||
15:31, 15 March 2022 | Slides-tfpie2022.pdf (file) | 845 KB | Morazanm | Slides for Introduction to Functional Classes in CS1 | 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:50, 26 January 2023 | ProofBuddySlides.pdf (file) | 1.2 MB | ElenaMachkasova | Slides for "ProofBuddy: Acquiring Proof Competence with Friendly Assistance" presentation. | 1 | |
22:57, 27 June 2016 | TFPIE16-slides-emachkasova.pdf (file) | 1.22 MB | JayMcCarthy | 1 | ||
17:07, 13 January 2023 | Tfpie-2023-shriram-compressed.pdf (file) | 1.27 MB | ElenaMachkasova | Keynote slides | 1 | |
08:51, 27 May 2014 | TFPIEJeuring.pdf (file) | 1.32 MB | JohanJeuring | 1 | ||
15:09, 5 June 2015 | Presentation.pdf (file) | 1.32 MB | JacobBoender | Presentation on MIRTO at TFPIE2015 | 1 | |
22:58, 27 June 2016 | TFPIE16-slides-tsteenvoorden.pdf (file) | 1.74 MB | JayMcCarthy | 1 | ||
22:02, 15 March 2022 | Keynote TFPIE 2022 The Perfect FP Course.pdf (file) | 1.87 MB | Peter88 | 2 | ||
13:21, 16 March 2022 | TFPIE 2022 Jacobsen Villadsen Slides.pdf (file) | 1.87 MB | JorgenVilladsen | 1 | ||
23:13, 30 January 2023 | TFPIE-2023-Alda.pdf (file) | 1.94 MB | ElenaMachkasova | 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 | ||
14:06, 20 May 2014 | Tfpie2014 submission 1.pdf (file) | 3.73 MB | Peter88 | Functional programming languages are seen by many as instrumental to effectively utilizing the computational power of multi-core platforms. As a result, there is growing interest to introduce functional programming and functional thinking as early as poss | 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 |