Uploads by WikiSysop
Jump to navigation
Jump to search
This special page shows all uploaded files.
| Date | Name | Thumbnail | Size | Description | Versions |
|---|---|---|---|---|---|
| 14:27, 29 May 2012 | TFPIE2012 Draft TactileTerms Holzenspies.pdf (file) |  |
118 KB | In this paper, we are arguing for a new way of programmer-compiler interaction. ... | 1 |
| 14:25, 29 May 2012 | TFPIE2012 Draft ConnectingTheDots ODonnell.pdf (file) | |
308 KB | 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:24, 29 May 2012 | TFPIE2012 Draft RecursionSchemesOfScientificModels Widemann.pdf (file) | |
222 KB | 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 |
| 14:21, 29 May 2012 | TFPIE2012 Draft IntensiveProgrammesInFP Zsok and Horvath.pdf (file) | |
111 KB | In this paper we present the advantages and experiences of the Central European Functional Programming summer school series. ... | 1 |
| 14:19, 29 May 2012 | Tfpie2012 submission 5.pdf (file) | |
204 KB | Holmes is a plagiarism detection tool for Haskell programs. ... | 1 |
| 14:17, 29 May 2012 | TFPIE2012 Draft TeachingFPtoDOTNETDevelopers Petricek.pdf (file) | |
185 KB | ... 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 |
| 14:15, 29 May 2012 | TFPIE2012 Draft CS4204ConcurrencyMulticore Hammond.pdf (file) | |
37 KB | We have been teaching a new 25-hour advanced lecture module on concurrency and multicore parallelism in 2012. ... | 1 |
| 14:12, 29 May 2012 | TFPIE2012 Draft COMP 2650Experience Deb.pdf (file) | |
87 KB | 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:10, 29 May 2012 | TFPIE2012 Draft FortyHoursOfDeclarativeProgramming Stutterheim et al.pdf (file) | |
286 KB | This paper documents our experience using declarative languages to give secondary school students a first taste of Computer Science. ... | 1 |
| 14:07, 29 May 2012 | TFPIE2012 Draft TeachingGenericProgramming Koopman and Plasmeijer.pdf (file) | |
168 KB | In this paper we explain how we teach generic programming to master students in computer science. ... | 1 |
| 14:05, 29 May 2012 | TFPIE2012 Draft GoodAbstractionDesign Holzenspies.pdf (file) | |
188 KB | 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 |
| 14:00, 29 May 2012 | TFPIE2012 Draft MathematicsIsImprecise Ragde.pdf (file) | |
103 KB | We commonly think of mathematics as bringing precision to application domains, but its relationship with computer science is more complex. ... | 1 |
| 13:53, 29 May 2012 | TFPIE2012 Draft HowComputersWork Page and Gamboa.pdf (file) | |
144 KB | 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 |