User contributions
From tfpie
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 09:51, 30 September 2020 (diff | hist) . . (-39) . . TFPIE2021 (→TFPIE 2021)
- 09:17, 30 September 2020 (diff | hist) . . (+51) . . Call For Papers (→Submissions)
- 09:14, 30 September 2020 (diff | hist) . . (-10) . . Call For Papers (→Submissions)
- 09:02, 30 September 2020 (diff | hist) . . (+54) . . Call For Papers (→Call For Papers TFPIE 2021)
- 08:59, 30 September 2020 (diff | hist) . . (+78) . . Main Page (→TFPIE workshops)
- 20:20, 28 September 2020 (diff | hist) . . (+55) . . TFPIE2021 (→TFPIE 2021)
- 20:14, 28 September 2020 (diff | hist) . . (+2) . . Call For Papers (→Call For Papers TFPIE 2021)
- 20:12, 28 September 2020 (diff | hist) . . (+4,121) . . N Call For Papers (Created page with "== Call For Papers TFPIE 2021 == [https://wiki.tfpie.science.ru.nl/TFPIE2021#TFPIE_2021 TFPIE 2021] (February 16 2021, Krakow, Poland co-organized with [http://tfp2021.org TFP...")
- 20:04, 28 September 2020 (diff | hist) . . (-76) . . TFPIE2021 (→TFPIE 2021)
- 13:44, 28 September 2020 (diff | hist) . . (+538) . . TFPIE2021 (→Programme committee)
- 19:35, 22 September 2020 (diff | hist) . . (-30) . . TFPIE2021 (→TFPIE 2021)
- 17:42, 22 September 2020 (diff | hist) . . (+64) . . TFPIE2021 (→TFPIE 2021)
- 17:35, 22 September 2020 (diff | hist) . . (+1,078) . . N TFPIE2021 (Created page with "== TFPIE 2021 == TFPIE 2021 is the '''10th''' edition of the International Workshop on Trends in Functional Programming in Education. After having been successfully co-located...")
- 16:39, 22 September 2020 (diff | hist) . . (+86) . . Main Page (→TFPIE workshops)
- 12:19, 22 June 2019 (diff | hist) . . (+998) . . TFPIE2018 (→EPTCS proceedings) (current)
- 11:53, 23 May 2018 (diff | hist) . . (+924) . . TFPIE2017 (added information about EPTCS proceedings) (current)
- 19:26, 24 May 2014 (diff | hist) . . (+148) . . TFPIE2014 (→Program + chairs)
- 13:36, 1 June 2012 (diff | hist) . . (+168) . . N TFPIE2012: Teaching Parallel FP at Chalmers (→Teaching Parallel Functional Programming at Chalmers) (current)
- 16:42, 29 May 2012 (diff | hist) . . (+184) . . TFPIE2012 (→TFPIE 2012)
- 16:40, 29 May 2012 (diff | hist) . . (-46) . . Main Page (→TFPIE wiki home)
- 15:27, 29 May 2012 (diff | hist) . . (+83) . . N File:TFPIE2012 Draft TactileTerms Holzenspies.pdf (In this paper, we are arguing for a new way of programmer-compiler interaction. ...) (current)
- 15:26, 29 May 2012 (diff | hist) . . (+126) . . N TFPIE2012: Tactile Terms (→Tactile Terms) (current)
- 15:25, 29 May 2012 (diff | hist) . . (+171) . . N File:TFPIE2012 Draft ConnectingTheDots ODonnell.pdf (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. ...) (current)
- 15:25, 29 May 2012 (diff | hist) . . (+129) . . N TFPIE2012: Connecting the Dots (→Connecting the Dots) (current)
- 15:24, 29 May 2012 (diff | hist) . . (+213) . . N File:TFPIE2012 Draft RecursionSchemesOfScientificModels Widemann.pdf (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. ...) (current)
- 15:22, 29 May 2012 (diff | hist) . . (+184) . . N TFPIE2012: Recursion Schemes of Scientific Models (→The Recursion Schemes of Scientific Models)
- 15:21, 29 May 2012 (diff | hist) . . (+128) . . N File:TFPIE2012 Draft IntensiveProgrammesInFP Zsok and Horvath.pdf (In this paper we present the advantages and experiences of the Central European Functional Programming summer school series. ...) (current)
- 15:20, 29 May 2012 (diff | hist) . . (+192) . . N TFPIE2012: Intensive Programs in FP (→Intensive Programmes in FP) (current)
- 15:19, 29 May 2012 (diff | hist) . . (+63) . . N File:Tfpie2012 submission 5.pdf (Holmes is a plagiarism detection tool for Haskell programs. ...) (current)
- 15:18, 29 May 2012 (diff | hist) . . (+152) . . N TFPIE2012: Holmes for Haskell (→Holmes for Haskell) (current)
- 15:17, 29 May 2012 (diff | hist) . . (+222) . . N File:TFPIE2012 Draft TeachingFPtoDOTNETDevelopers Petricek.pdf (... 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. ...) (current)
- 15:16, 29 May 2012 (diff | hist) . . (+184) . . N TFPIE2012: Teaching FP to .NET Developers (→Teaching FP to Professional .NET Developers) (current)
- 15:15, 29 May 2012 (diff | hist) . . (+113) . . N File:TFPIE2012 Draft CS4204ConcurrencyMulticore Hammond.pdf (We have been teaching a new 25-hour advanced lecture module on concurrency and multicore parallelism in 2012. ...) (current)
- 15:13, 29 May 2012 (diff | hist) . . (+164) . . N TFPIE2012: Concurrency and Multicore Architectures (→CS4204: Concurrency and Multicore Architectures) (current)
- 15:12, 29 May 2012 (diff | hist) . . (+197) . . N File:TFPIE2012 Draft COMP 2650Experience Deb.pdf (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. ...) (current)
- 15:11, 29 May 2012 (diff | hist) . . (+170) . . N TFPIE2012: COMP 2650 Experience (→COMP 2650 Experience) (current)
- 15:10, 29 May 2012 (diff | hist) . . (+136) . . N File:TFPIE2012 Draft FortyHoursOfDeclarativeProgramming Stutterheim et al.pdf (This paper documents our experience using declarative languages to give secondary school students a first taste of Computer Science. ...) (current)
- 15:09, 29 May 2012 (diff | hist) . . (+221) . . N TFPIE2012: Forty Hours of Declarative Programming (→Forty Hours of Declarative Programming)
- 15:07, 29 May 2012 (diff | hist) . . (+101) . . N File:TFPIE2012 Draft TeachingGenericProgramming Koopman and Plasmeijer.pdf (In this paper we explain how we teach generic programming to master students in computer science. ...) (current)
- 15:07, 29 May 2012 (diff | hist) . . (+182) . . N TFPIE2012: Teaching Generic Programming (→Teaching Generic Programming) (current)
- 15:05, 29 May 2012 (diff | hist) . . (+192) . . N File:TFPIE2012 Draft GoodAbstractionDesign Holzenspies.pdf (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. ...) (current)
- 15:04, 29 May 2012 (diff | hist) . . (+170) . . N TFPIE2012: Good Abstraction Design (→Good Abstraction Design) (current)
- 15:00, 29 May 2012 (diff | hist) . . (+142) . . N File:TFPIE2012 Draft MathematicsIsImprecise Ragde.pdf (We commonly think of mathematics as bringing precision to application domains, but its relationship with computer science is more complex. ...) (current)
- 14:59, 29 May 2012 (diff | hist) . . (+137) . . N TFPIE2012: Mathematics is Imprecise (Created page with "== Mathematics is Imprecise == By: Prabhakar Ragde * Draft proceedings version File:TFPIE2012_Draft_MathematicsIsImprecise_Ragde.pdf") (current)
- 14:57, 29 May 2012 (diff | hist) . . (+180) . . N TFPIE 2012: How Computers Work (→How Computers Work (TFPIE 2012)) (current)
- 14:53, 29 May 2012 (diff | hist) . . (+181) . . N File:TFPIE2012 Draft HowComputersWork Page and Gamboa.pdf (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? ...) (current)
- 14:42, 29 May 2012 (diff | hist) . . (+155) . . TFPIE2012 (→TFPIE 2012)
- 14:41, 29 May 2012 (diff | hist) . . (+1,809) . . N TFPIE2012 (Created page with "== TFPIE 2012 == Here you can find additional material provided by the contributors of TFPIE 2012, St. Andrews, Scotland. The order of material is identical to the workshop progr...")
- 14:25, 29 May 2012 (diff | hist) . . (+14) . . Main Page (→TFPIE)
- 14:09, 29 May 2012 (diff | hist) . . (+21) . . Main Page (→TFPIE wiki home)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
