File list
Jump to navigation
Jump to search
This special page shows all uploaded files.
| Date | Name | Thumbnail | Size | User | Description | Versions |
|---|---|---|---|---|---|---|
| 00:39, 13 May 2013 | TFPIE2013 Functional Reactive Programming.pdf (file) |  |
187 KB | Peter88 | 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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: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 | |
| 11:00, 2 June 2012 | TFPIE2012- Recursion Schemes of Scientific Models-demoA.png (file) |  |
35 KB | Btrancon | 2 | |
| 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 |
| 14:17, 31 May 2012 | TFPIE2012 Draft HolmesForHaskell Hage and Vermeer.pdf (file) | |
204 KB | Jurriaanhage | 1 | |
| 22:57, 29 May 2012 | Jculecturenotesdutch.pdf (file) | |
371 KB | J.stutterheim | Lecture notes for the JCU prethesis (Dutch) | 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 |
| 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: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: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:19, 29 May 2012 | Tfpie2012 submission 5.pdf (file) | |
204 KB | WikiSysop | Holmes is a plagiarism detection tool for Haskell programs. ... | 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 |
| 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: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: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: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 |
| 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 |
| 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: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 |
