File list
Jump to navigation
Jump to search
This special page shows all uploaded files.
Date | Name | Thumbnail | Size | User | Description | Versions |
---|---|---|---|---|---|---|
15:36, 15 March 2022 | Intro-Func-Objects-CS1.pdf (file) | 196 KB | Morazanm | Draft article | 1 | |
14:17, 31 May 2012 | TFPIE2012 Draft HolmesForHaskell Hage and Vermeer.pdf (file) | 204 KB | Jurriaanhage | 1 | ||
15:19, 29 May 2012 | Tfpie2012 submission 5.pdf (file) | 204 KB | WikiSysop | Holmes is a plagiarism detection tool for Haskell programs. ... | 1 | |
14:09, 20 May 2014 | Tfpie2014 submission 4.pdf (file) | 207 KB | Peter88 | A number of introductory textbooks for Haskell use calculations right from the start to give the reader insight into the evaluation of expressions and the behavior of functional programs. In fact, many programming concepts that are considered to be import | 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 | |
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: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 | |
22:56, 27 June 2016 | TFPIE16-paper-pragde.pdf (file) | 224 KB | JayMcCarthy | 1 | ||
14:12, 20 May 2014 | Tfpie2014 submission 13.pdf (file) | 228 KB | Peter88 | We present the motivations, syllabus and teaching method of Foundations of Computing, a course of Mathematics whose objects happen to be given by a functional programming language. | 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 | |
23:37, 7 July 2015 | Alegre.pdf (file) | 246 KB | FernandoAlegre | Workshop paper: Haskell in Middle and High School Mathematics | 2 | |
00:36, 13 May 2013 | TFPIE2013 Hardware Design Using Clash.pdf (file) | 247 KB | Peter88 | In order to bring the theory of embedded computer architectures into practice, a practical assignment has been developed where students design digital hardware using the functional hardware description language ClaSH. The assignment focuses on specifying | 1 | |
09:39, 16 June 2014 | Tfpie2014-teaching-sw-arch.pdf (file) | 267 KB | AlejandroSerrano | 1 | ||
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 |