File list

Jump to navigation Jump to search

This special page shows all uploaded files.

File list
First pagePrevious pageNext pageLast page
Date Name Thumbnail Size User Description Versions
12:21, 16 March 2022 TFPIE 2022 Jacobsen Villadsen Slides.pdf (file) 1.87 MB JorgenVilladsen   1
23:55, 15 March 2022 TFPIE 2022 Jacobsen Villadsen.pdf (file) 144 KB JorgenVilladsen   1
21: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
21: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
21:02, 15 March 2022 Keynote TFPIE 2022 The Perfect FP Course.pdf (file) 1.87 MB Peter88   2
14:36, 15 March 2022 Intro-Func-Objects-CS1.pdf (file) 196 KB Morazanm Draft article 1
14:31, 15 March 2022 Slides-tfpie2022.pdf (file) 845 KB Morazanm Slides for Introduction to Functional Classes in CS1 1
09: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
09: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
19:09, 18 February 2021 How-to-Design-while-Loops.pdf (file) 491 KB Morazanm   1
18:36, 18 February 2021 TFPIE-2021-DOCI-Morazan.pdf (file) 517 KB Morazanm   1
14:54, 17 February 2021 Teaching Programming to Novices Using the codeBoot Online Environment.pdf (file) 3.2 MB OlivierMelancon   2
11:15, 17 February 2021 TFPIE AHF JV Slides.pdf (file) 2.72 MB JorgenVilladsen   1
12:21, 15 February 2021 TFPIE AHF JV.pdf (file) 549 KB JorgenVilladsen   1
13:50, 20 April 2020 TFPIE2020.pdf (file) 491 KB Peter88 removed all concrete code fragments 1
11:56, 11 February 2020 Morazan-TFPIE-2020-Prog-InnerCity.pdf (file) 290 KB Jurriaanhage   1
16: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
18:01, 22 July 2016 TFPIE16-paper-vwinter.pdf (file) 5.36 MB JayMcCarthy   2
21:58, 27 June 2016 TFPIE16-slides-vwinter.pdf (file) 5.54 MB JayMcCarthy   1
21:58, 27 June 2016 TFPIE16-slides-tsteenvoorden.pdf (file) 1.74 MB JayMcCarthy   1
21:57, 27 June 2016 TFPIE16-slides-swalck.pdf (file) 460 KB JayMcCarthy   1
21:57, 27 June 2016 TFPIE16-slides-pragde.pdf (file) 511 KB JayMcCarthy   1
21:57, 27 June 2016 TFPIE16-slides-emachkasova.pdf (file) 1.22 MB JayMcCarthy   1
21:56, 27 June 2016 TFPIE16-paper-swalck.pdf (file) 154 KB JayMcCarthy   1
21:56, 27 June 2016 TFPIE16-paper-pragde.pdf (file) 224 KB JayMcCarthy   1
22:37, 7 July 2015 Alegre.pdf (file) 246 KB FernandoAlegre Workshop paper: Haskell in Middle and High School Mathematics 2
12:49, 8 June 2015 Presentation tfpie15 francisco saiz.pdf (file) 453 KB FranciscoSaiz   1
19:56, 5 June 2015 Slide.pdf (file) 715 KB ChihiroUehara   1
14:09, 5 June 2015 Presentation.pdf (file) 1.32 MB JacobBoender Presentation on MIRTO at TFPIE2015 1
10:48, 18 June 2014 TFPIE14.pieter.slides.pdf (file) 394 KB Pieter   2
08:39, 16 June 2014 Tfpie2014-teaching-sw-arch.pdf (file) 267 KB AlejandroSerrano   1
07:51, 27 May 2014 TFPIEJeuring.pdf (file) 1.32 MB JohanJeuring   1
17:00, 26 May 2014 Tfpie2014 submission 6.pdf (file) 153 KB ScottWalck Fixed a footnote. 2
16:49, 26 May 2014 LearnPhysics.pdf (file) 195 KB ScottWalck Slides from the talk "Learn Physics by Programming in Haskell" at TFPIE 2014. 1
14: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
14:14, 26 May 2014 Tfpie2014 submission 11 slides.pdf (file) 171 KB JanKuper Slides of presentation on The Sprockell 1
13:25, 20 May 2014 Tfpie2014 submission 16.pdf (file) 111 KB Peter88   1
13: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
13: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
13: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
13:21, 20 May 2014 Tfpie2014 submission 12.pdf (file) 187 KB Peter88 The target of our course advanced functional programming is currently shifting towards the design, use, and the functional implementation techniques for embedded Domains Specific Languages, DSLs. We use a well-known and very simple imperative language as 1
13:19, 20 May 2014 Tfpie2014 submission 11.pdf (file) 112 KB Peter88 In this paper we describe a Von Neumann type single core processor. It has many simplifications in comparison with a single core realistic processor, but it nevertheless is Turing complete. We also describe the role it plays in teaching both functional pr 1
13: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
13:16, 20 May 2014 Tfpie2014 submission 14.pdf (file) 95 KB Peter88 An introductory formal languages course exposes students to automata theory, grammars, constructive proofs, computability, and decidability. This exposure usually comes late in the undergraduate curriculum or early in the graduate curriculum. In either se 1
13:14, 20 May 2014 Tfpie2014 submission 15.pdf (file) 136 KB Peter88 We claim that program design techniques, like equational derivation of programs from specifications and separation of concerns, can be applied to obtain results in Mathematics. This means that Mathematics and Programming are not at all alien in their meth 1
13: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
13:11, 20 May 2014 Tfpie2014 submission 10.pdf (file) 146 KB Peter88 A type debugger interactively detects the expression which causes a type error. It asks users whether they intend the types of identifiers to be those that the compiler inferred. However, it seems that novice programmers using type debugger often get in t 1
13: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
13: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
23:40, 12 May 2013 TFPIE2013 Steps Towards Teaching Clojure.pdf (file) 142 KB Peter88 The Clojure programming language is a new language in the LISP family that is gaining rapid popularity in industry due to its elegant design and suitability for concurrent programming. We argue that Clojure has benefits for being taught as a programming l 1
First pagePrevious pageNext pageLast page