File list
Jump to navigation
Jump to search
This special page shows all uploaded files.
| Date | Name | Thumbnail | Size | User | Description | Versions |
|---|---|---|---|---|---|---|
| 11:30, 2 June 2012 | TFPIE2012- Recursion Schemes of Scientific Models-demoR.png (file) |  |
20 KB | Btrancon | 1 | |
| 11:26, 2 June 2012 | TFPIE2012- Recursion Schemes of Scientific Models-demoD.png (file) |  |
31 KB | Btrancon | 1 | |
| 11:00, 2 June 2012 | TFPIE2012- Recursion Schemes of Scientific Models-demoA.png (file) |  |
35 KB | Btrancon | 2 | |
| 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 |
| 11:22, 2 June 2012 | TFPIE2012- Recursion Schemes of Scientific Models-demoI.png (file) |  |
49 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 |
| 14: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 |
| 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 |
| 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 |
| 14:25, 20 May 2014 | Tfpie2014 submission 16.pdf (file) | |
111 KB | Peter88 | 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 |
| 14: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 |
| 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 |
| 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: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 |
| 00:40, 13 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 |
| 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 |
| 00:55, 16 March 2022 | TFPIE 2022 Jacobsen Villadsen.pdf (file) | |
144 KB | JorgenVilladsen | 1 | |
| 14: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 |
| 00:35, 13 May 2013 | TFPIE2013 Structural Induction Principles.pdf (file) | |
146 KB | Peter88 | User defined recursive types are a fundamental feature of modern functional programming languages like Haskell and the ML family of languages. Properties of programs defined by recursion on the structure of a recursive types are generally proved by struct | 1 |
| 18:00, 26 May 2014 | Tfpie2014 submission 6.pdf (file) | |
153 KB | ScottWalck | Fixed a footnote. | 2 |
| 22:56, 27 June 2016 | TFPIE16-paper-swalck.pdf (file) | |
154 KB | JayMcCarthy | 1 | |
| 19:31, 13 January 2023 | TFPIE 2023 derive exam.pdf (file) | |
163 KB | ElenaMachkasova | Extended abstract for Lubke et al | 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 |
| 00:37, 13 May 2013 | TFPIE2013 Racket Functional Programming.pdf (file) | |
167 KB | Peter88 | In light of current trends that regard coding as the literacy of the 21st century, the M.Ed program in mathematics education in our college of education offers its students – elementary mathematics teachers - two consecutive courses in computer science, | 1 |
| 15:07, 29 May 2012 | TFPIE2012 Draft TeachingGenericProgramming Koopman and Plasmeijer.pdf (file) | |
168 KB | WikiSysop | In this paper we explain how we teach generic programming to master students in computer science. ... | 1 |
| 00:31, 13 May 2013 | TFPIE 2013 Principles to Practice with Class.pdf (file) | |
169 KB | Peter88 | We propose a bridge between functional and object-oriented programming in the first-year curriculum. Traditionally, curricula that begin with functional programming transition to a professional, usually object-oriented, language in the second course. This | 1 |
| 15:14, 26 May 2014 | Tfpie2014 submission 11 slides.pdf (file) | |
171 KB | JanKuper | Slides of presentation on The Sprockell | 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 |
| 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 |
| 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 |
| 15:17, 29 May 2012 | TFPIE2012 Draft TeachingFPtoDOTNETDevelopers Petricek.pdf (file) | |
185 KB | WikiSysop | ... With the recent rise of functional programming in the industry, it becomes important to teach functional concepts to professional developers with deep knowledge of other paradigms, most importantly object-oriented. ... | 1 |
| 00:39, 13 May 2013 | TFPIE2013 Functional Reactive Programming.pdf (file) | |
187 KB | Peter88 | 1 | |
| 14: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 |
| 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 |
| 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: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 |
