File list

From tfpie

This special page shows all uploaded files.

File list
 
Date Name Thumbnail Size Description Versions
15: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
15: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
15: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
15: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
15:19, 29 May 2012 Tfpie2012 submission 5.pdf (file) 204 KB Holmes is a plagiarism detection tool for Haskell programs. ... 1
15: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
15: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
15: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
15: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
15: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
15: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
15: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
14: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