File list
Jump to navigation
Jump to search
This special page shows all uploaded files.
Date | Name | Thumbnail | Size | User | Description | Versions |
---|---|---|---|---|---|---|
14: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 | |
14: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, 29 May 2012 | Tfpie2012 submission 5.pdf (file) | 204 KB | WikiSysop | Holmes is a plagiarism detection tool for Haskell programs. ... | 1 | |
14: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 | |
14: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 | |
14: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: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 | |
14: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 | |
14: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 | |
14: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 | |
13: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 |