All public logs

Combined display of all available logs of tfpie. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

23:13, 30 January 2023 ElenaMachkasova talk contribs uploaded File:TFPIE-2023-Alda.pdf
23:13, 30 January 2023 ElenaMachkasova talk contribs created page File:TFPIE-2023-Alda.pdf
03:54, 26 January 2023 ElenaMachkasova talk contribs uploaded File:Disco-tfpie23.pdf (Draft paper for "Disco: A Functional Programming Language for Discrete Mathematics")
03:54, 26 January 2023 ElenaMachkasova talk contribs created page File:Disco-tfpie23.pdf (Draft paper for "Disco: A Functional Programming Language for Discrete Mathematics")
03:54, 26 January 2023 ElenaMachkasova talk contribs uploaded File:Disco-tfpie23-talk.pdf (Slides for "Disco: A Functional Programming Language for Discrete Mathematics" presentation.)
03:54, 26 January 2023 ElenaMachkasova talk contribs created page File:Disco-tfpie23-talk.pdf (Slides for "Disco: A Functional Programming Language for Discrete Mathematics" presentation.)
03:51, 26 January 2023 ElenaMachkasova talk contribs uploaded File:ProofBuddyDraft.pdf (Preliminary submission for "ProofBuddy: Acquiring Proof Competence with Friendly Assistance".)
03:51, 26 January 2023 ElenaMachkasova talk contribs created page File:ProofBuddyDraft.pdf (Preliminary submission for "ProofBuddy: Acquiring Proof Competence with Friendly Assistance".)
03:50, 26 January 2023 ElenaMachkasova talk contribs created page File:ProofBuddySlides.pdf (Slides for "ProofBuddy: Acquiring Proof Competence with Friendly Assistance" presentation.)
03:50, 26 January 2023 ElenaMachkasova talk contribs uploaded File:ProofBuddySlides.pdf (Slides for "ProofBuddy: Acquiring Proof Competence with Friendly Assistance" presentation.)
20:44, 14 January 2023 ElenaMachkasova talk contribs uploaded File:TFPIE 2023-Rui Simao.pdf
20:44, 14 January 2023 ElenaMachkasova talk contribs created page File:TFPIE 2023-Rui Simao.pdf
19:31, 13 January 2023 ElenaMachkasova talk contribs uploaded File:TFPIE 2023 derive exam.pdf (Extended abstract for Lubke et al)
19:31, 13 January 2023 ElenaMachkasova talk contribs created page File:TFPIE 2023 derive exam.pdf (Extended abstract for Lubke et al)
19:30, 13 January 2023 ElenaMachkasova talk contribs uploaded File:Fp-e-exam-pres.pdf (Slides for Lubke et al presentation)
19:30, 13 January 2023 ElenaMachkasova talk contribs created page File:Fp-e-exam-pres.pdf (Slides for Lubke et al presentation)
17:07, 13 January 2023 ElenaMachkasova talk contribs uploaded File:Tfpie-2023-shriram-compressed.pdf (Keynote slides)
17:07, 13 January 2023 ElenaMachkasova talk contribs created page File:Tfpie-2023-shriram-compressed.pdf (Keynote slides)
17:07, 12 January 2023 Morazanm talk contribs uploaded File:Slides-reg-exp-fsm.pdf
17:07, 12 January 2023 Morazanm talk contribs created page File:Slides-reg-exp-fsm.pdf
22:08, 11 September 2022 ElenaMachkasova talk contribs created page TFPIE2023 (Created page with "=Trends in Functional Programming in Education (TFPIE)= Welcome! The 2023 edition of Trends in Functional Programming in Education will be held '''on January 12th in Boston,...")
13:21, 16 March 2022 JorgenVilladsen talk contribs uploaded File:TFPIE 2022 Jacobsen Villadsen Slides.pdf
00:55, 16 March 2022 JorgenVilladsen talk contribs uploaded File:TFPIE 2022 Jacobsen Villadsen.pdf
22:23, 15 March 2022 DmitryKondratyev talk contribs uploaded File:GorodnyayaKondratyev.pdf (The talk presents one scheme of teaching functional programming, which has developed in many years of teaching experience on the basis of Mechanics and Mathematics Faculty of Novosibirsk State University. The issues of mastering functional programming...)
22:09, 15 March 2022 DmitryKondratyev talk contribs uploaded File:Functional programming learning path.pdf (The article describes one scheme of teaching functional programming, which has developed in many years of teaching experience on the basis of Mechanics and Mathematics Faculty of Novosibirsk State University. The issues of mastering functional programm...)
22:02, 15 March 2022 Peter88 talk contribs uploaded a new version of File:Keynote TFPIE 2022 The Perfect FP Course.pdf
15:36, 15 March 2022 Morazanm talk contribs uploaded File:Intro-Func-Objects-CS1.pdf (Draft article)
15:31, 15 March 2022 Morazanm talk contribs uploaded File:Slides-tfpie2022.pdf (Slides for Introduction to Functional Classes in CS1)
10:29, 15 March 2022 MatthewFarrugiaRoberts talk contribs uploaded File:Farrugia-Roberts and Sondergaard TFPIE 2022 slides.pdf ("Teaching simple constructive proofs with Haskell programs" by Matthew Farrugia-Roberts and Harald Søndergaard. Slide deck for presentation at TFPIE2022.)
10:29, 15 March 2022 MatthewFarrugiaRoberts talk contribs uploaded File:Farrugia-Roberts and Sondergaard TFPIE 2022 extended abstract.pdf ("Teaching simple constructive proofs with Haskell programs" by Matthew Farrugia-Roberts and Harald Søndergaard. Extended abstract accepted for presentation at TFPIE2022.)
09:59, 15 March 2022 Peter88 talk contribs uploaded File:Keynote TFPIE 2022 The Perfect FP Course.pdf (Slides keynote "The Perfect Functional Programming Course" by Peter Achten)
22:04, 13 March 2022 User account YouyouCong talk contribs was created by WikiSysop talk contribs and password was sent by email (Welcome to TFPiE 2022!)
22:03, 13 March 2022 User account FrederikKrogsdalJacobsen talk contribs was created by WikiSysop talk contribs and password was sent by email (Welcome to TFPiE 2022!)
22:01, 13 March 2022 User account DmitryKondratyev talk contribs was created by WikiSysop talk contribs and password was sent by email (Welcome to TFPiE 2022!)
22:01, 13 March 2022 User account LidiaGorodnyaya talk contribs was created by WikiSysop talk contribs and password was sent by email (Welcome to TFPiE 2022!)
21:59, 13 March 2022 User account KruthigaKarunakaran talk contribs was created by WikiSysop talk contribs and password was sent by email (Welcome to TFPiE 2022!)
21:58, 13 March 2022 User account VaitheekaNallasamy talk contribs was created by WikiSysop talk contribs and password was sent by email (Welcome to TFPiE 2022!)
21:57, 13 March 2022 User account ChinmaySheth talk contribs was created by WikiSysop talk contribs and password was sent by email (Welcome to TFPiE 2022!)
21:56, 13 March 2022 User account HaraldSondergaard talk contribs was created by WikiSysop talk contribs and password was sent by email (Welcome to TFPiE 2022!)
21:55, 13 March 2022 User account MatthewFarrugiaRoberts talk contribs was created by WikiSysop talk contribs and password was sent by email (Welcome to TFPiE 2022!)
21:53, 13 March 2022 User account SarahCoker talk contribs was created by WikiSysop talk contribs and password was sent by email (Welcome to TFPiE 2022!)
21:52, 13 March 2022 User account ChristopherSchankula talk contribs was created by WikiSysop talk contribs and password was sent by email (Welcome to TFPiE 2022!)
21:51, 13 March 2022 User account PadmaPasupathi talk contribs was created by WikiSysop talk contribs and password was sent by email (Welcome to TFPiE 2022!)
21:50, 13 March 2022 User account LukasStevens talk contribs was created by WikiSysop talk contribs and password was sent by email (Welcome to TFPiE 2022!)
21:49, 13 March 2022 User account JonasRaedle talk contribs was created by WikiSysop talk contribs and password was sent by email (Welcome to TFPiE 2022!)
21:47, 13 March 2022 User account KevinKappelmann talk contribs was created by WikiSysop talk contribs and password was sent by email (Welcome to TFPiE 2022!)
20:09, 18 February 2021 Morazanm talk contribs uploaded File:How-to-Design-while-Loops.pdf
19:36, 18 February 2021 Morazanm talk contribs uploaded File:TFPIE-2021-DOCI-Morazan.pdf
15:54, 17 February 2021 OlivierMelancon talk contribs uploaded a new version of File:Teaching Programming to Novices Using the codeBoot Online Environment.pdf
12:15, 17 February 2021 JorgenVilladsen talk contribs uploaded File:TFPIE AHF JV Slides.pdf
19:11, 16 February 2021 OlivierMelancon talk contribs uploaded File:Teaching Programming to Novices Using the codeBoot Online Environment.pdf
13:21, 15 February 2021 JorgenVilladsen talk contribs uploaded File:TFPIE AHF JV.pdf
18:51, 26 January 2021 User account BartoszMilewski talk contribs was created by WikiSysop talk contribs and password was sent by email (access to TFPIE wiki)
18:47, 26 January 2021 User account FrancescoCesarini talk contribs was created by WikiSysop talk contribs and password was sent by email (access to TFPIE wiki)
18:19, 26 January 2021 User account OlivierMelancon talk contribs was created by WikiSysop talk contribs and password was sent by email (access to TFPIE wiki)
18:15, 26 January 2021 User account JorgenVilladsen talk contribs was created by WikiSysop talk contribs and password was sent by email (access to TFPIE wiki)
18:11, 26 January 2021 User account DmitryBoulytchev talk contribs was created by WikiSysop talk contribs and password was sent by email (access to TFPIE wiki)
18:05, 26 January 2021 User account JunyaNose talk contribs was created by WikiSysop talk contribs and password was sent by email (contribute to TFPIE wiki)
14:58, 20 April 2020 WikiSysop talk contribs deleted page File:TFPIE2020.pdf (Deleted old revision 20200420125025!TFPIE2020.pdf: prevent potential future reuse)
14:50, 20 April 2020 Peter88 talk contribs uploaded a new version of File:TFPIE2020.pdf (removed all concrete code fragments)
17:21, 12 February 2020 Peter88 talk contribs uploaded File:TFPIE2020.pdf (Segments: a better Rainfall problem for FP? - position presentation -)
12:56, 11 February 2020 Jurriaanhage talk contribs uploaded File:Morazan-TFPIE-2020-Prog-InnerCity.pdf
17:41, 11 June 2019 OliverWestphal talk contribs uploaded File:TFPIE 2019 Teletype Specs.pdf (Specifying Teletype Behavior for the Automated Handling of Exercises on Interactive Haskell Programs)
12:16, 27 May 2019 User account BarryBurd talk contribs was created by WikiSysop talk contribs and password was sent by email (contribution to TFPIE wiki)
12:15, 27 May 2019 User account ChristopherAnand talk contribs was created by WikiSysop talk contribs and password was sent by email (contribution to TFPIE wiki)
12:13, 27 May 2019 User account ViktoriaZsok talk contribs was created by WikiSysop talk contribs and password was sent by email (contribution to TFPIE wiki)
12:12, 27 May 2019 User account EvanSitt talk contribs was created by WikiSysop talk contribs and password was sent by email (contribution to TFPIE wiki)
12:11, 27 May 2019 User account YuriKim talk contribs was created by WikiSysop talk contribs and password was sent by email (contribution to TFPIE wiki)
12:08, 27 May 2019 User account PedroFigueiredo talk contribs was created by WikiSysop talk contribs and password was sent by email (contribution to TFPIE wiki)
12:07, 27 May 2019 User account JanisVoigtlaender talk contribs was created by WikiSysop talk contribs and password was sent by email (contribution to TFPIE wiki)
12:05, 27 May 2019 User account OliverWestphal talk contribs was created by WikiSysop talk contribs and password was sent by email (contribution to TFPIE wiki)
18:45, 14 June 2018 User account SolrunEinarsdottir talk contribs was created by WikiSysop talk contribs and password was sent by email (join the TFPIE community)
18:43, 14 June 2018 User account JosieDesRosiers talk contribs was created by WikiSysop talk contribs and password was sent by email (join the TFPIE community)
18:41, 14 June 2018 User account NemethBoldizsar talk contribs was created by WikiSysop talk contribs and password was sent by email (join the TFPIE community)
18:39, 14 June 2018 User account ChideGroenouwe talk contribs was created by WikiSysop talk contribs and password was sent by email (join the TFPIE community)
13:19, 19 October 2017 User account HeatherMiller talk contribs was created by WikiSysop talk contribs and password was sent by email (TFPIE account)
11:37, 23 January 2017 User account SimonThompson talk contribs was created by WikiSysop talk contribs
19:01, 22 July 2016 JayMcCarthy talk contribs uploaded a new version of File:TFPIE16-paper-vwinter.pdf
22:58, 27 June 2016 JayMcCarthy talk contribs uploaded File:TFPIE16-slides-vwinter.pdf
22:58, 27 June 2016 JayMcCarthy talk contribs uploaded File:TFPIE16-slides-tsteenvoorden.pdf
22:57, 27 June 2016 JayMcCarthy talk contribs uploaded File:TFPIE16-slides-swalck.pdf
22:57, 27 June 2016 JayMcCarthy talk contribs uploaded File:TFPIE16-slides-pragde.pdf
22:57, 27 June 2016 JayMcCarthy talk contribs uploaded File:TFPIE16-slides-emachkasova.pdf
22:57, 27 June 2016 JayMcCarthy talk contribs uploaded File:TFPIE16-paper-vwinter.pdf
22:56, 27 June 2016 JayMcCarthy talk contribs uploaded File:TFPIE16-paper-swalck.pdf
22:56, 27 June 2016 JayMcCarthy talk contribs uploaded File:TFPIE16-paper-pragde.pdf
08:59, 6 October 2015 User account JayMcCarthy talk contribs was created by WikiSysop talk contribs and password was sent by email (TFPIE wiki account)
23:37, 7 July 2015 FernandoAlegre talk contribs uploaded a new version of File:Alegre.pdf (Workshop paper: Haskell in Middle and High School Mathematics)
15:37, 7 July 2015 FernandoAlegre talk contribs uploaded File:Alegre.pdf (Workshop paper: Haskell in Middle and High School Mathematics)
13:49, 8 June 2015 FranciscoSaiz talk contribs uploaded File:Presentation tfpie15 francisco saiz.pdf
20:56, 5 June 2015 ChihiroUehara talk contribs uploaded File:Slide.pdf
15:09, 5 June 2015 JacobBoender talk contribs uploaded File:Presentation.pdf (Presentation on MIRTO at TFPIE2015)
16:21, 1 June 2015 User account ChihiroUehara talk contribs was created by WikiSysop talk contribs and password was sent by email (TFPIE wiki account)
16:19, 1 June 2015 User account JeremieSalvucci talk contribs was created by WikiSysop talk contribs and password was sent by email (TFPIE wiki account)
16:18, 1 June 2015 User account FranciscoSaiz talk contribs was created by WikiSysop talk contribs and password was sent by email (TFPIE wiki account)
16:18, 1 June 2015 User account MattiRintala talk contribs was created by WikiSysop talk contribs and password was sent by email (TFPIE wiki account)
16:16, 1 June 2015 User account FlorianLoitsch talk contribs was created by WikiSysop talk contribs and password was sent by email (TFPIE wiki account)
16:15, 1 June 2015 User account PatrikJansson talk contribs was created by WikiSysop talk contribs and password was sent by email (TFPIE wiki account)
16:14, 1 June 2015 User account CezarIonescu talk contribs was created by WikiSysop talk contribs and password was sent by email (TFPIE wiki account)
16:13, 1 June 2015 User account MarcFeeley talk contribs was created by WikiSysop talk contribs and password was sent by email (TFPIE wiki account)
16:12, 1 June 2015 User account EdwinBrady talk contribs was created by WikiSysop talk contribs and password was sent by email (TFPIE wiki account)
16:11, 1 June 2015 User account JacobBoender talk contribs was created by WikiSysop talk contribs and password was sent by email (TFPIE wiki account)
16:10, 1 June 2015 User account ZachiBaharav talk contribs was created by WikiSysop talk contribs and password was sent by email (TFPIE wiki account)
16:08, 1 June 2015 User account FernandoAlegre talk contribs was created by WikiSysop talk contribs and password was sent by email (TFPIE wiki account)
11:48, 18 June 2014 Pieter talk contribs uploaded a new version of File:TFPIE14.pieter.slides.pdf
08:06, 18 June 2014 Pieter talk contribs uploaded File:TFPIE14.pieter.slides.pdf (Slides of presentation: Teaching the Construction of Domain Specific Languages)
09:39, 16 June 2014 AlejandroSerrano talk contribs uploaded File:Tfpie2014-teaching-sw-arch.pdf
08:51, 27 May 2014 JohanJeuring talk contribs uploaded File:TFPIEJeuring.pdf
18:00, 26 May 2014 ScottWalck talk contribs uploaded a new version of File:Tfpie2014 submission 6.pdf (Fixed a footnote.)
17:49, 26 May 2014 ScottWalck talk contribs uploaded File:LearnPhysics.pdf (Slides from the talk "Learn Physics by Programming in Haskell" at TFPIE 2014.)
15:57, 26 May 2014 Morazanm talk contribs uploaded File:FSM.pdf (These are the slides of my presentation on programming in an Intro to Automata Theory and Formal Languages course.)
15:14, 26 May 2014 JanKuper talk contribs uploaded File:Tfpie2014 submission 11 slides.pdf (Slides of presentation on The Sprockell)
14:57, 26 May 2014 User account Ben Polman talk contribs was created by CnczSysop talk contribs (password sent by e-mail)
22:59, 25 May 2014 User account ScottWalck talk contribs was created by WikiSysop talk contribs (contributor TFPIE)
16:30, 25 May 2014 WikiSysop talk contribs changed group membership for JohanJeuring from bureaucrat to (none)
16:28, 25 May 2014 WikiSysop talk contribs changed group membership for JohanJeuring from (none) to bureaucrat (contributor to TFPIE)
23:50, 20 May 2014 User account Morazanm talk contribs was created by WikiSysop talk contribs (founder TFPIE)
20:49, 20 May 2014 User account PhilipHolzenspies talk contribs was created by WikiSysop talk contribs (contributor TFPIE)
20:46, 20 May 2014 User account VadimZaytsev talk contribs was created by WikiSysop talk contribs (contributor TFPIE)
20:44, 20 May 2014 User account JanvanEijck talk contribs was created by WikiSysop talk contribs (contributor TFPIE)
20:40, 20 May 2014 User account RKoot talk contribs was created by WikiSysop talk contribs (contributor TFPIE)
20:36, 20 May 2014 User account PrabhakarRagde talk contribs was created by WikiSysop talk contribs (contributor TFPIE)
20:33, 20 May 2014 User account AlejandroSerrano talk contribs was created by WikiSysop talk contribs (contributor TFPIE)
20:30, 20 May 2014 User account Rinus talk contribs was created by WikiSysop talk contribs (contributor TFPIE)
20:24, 20 May 2014 User account ScottWalk talk contribs was created by WikiSysop talk contribs (contributor TFPIE)
20:22, 20 May 2014 User account ChristiaanBaaij talk contribs was created by WikiSysop talk contribs (contributor TFPIE)
20:19, 20 May 2014 User account JanKuper talk contribs was created by WikiSysop talk contribs (contributor TFPIE)
20:16, 20 May 2014 User account RinseWester talk contribs was created by WikiSysop talk contribs (contributor TFPIE)
20:13, 20 May 2014 User account RosarioAntunez talk contribs was created by WikiSysop talk contribs (contributor TFPIE)
20:10, 20 May 2014 User account MarcoMorazan talk contribs was created by WikiSysop talk contribs (founder TFPIE)
20:06, 20 May 2014 User account NoraSzasz talk contribs was created by WikiSysop talk contribs (contributor TFPIE)
20:04, 20 May 2014 User account JuanMichelini talk contribs was created by WikiSysop talk contribs (contributor TFPIE)
20:01, 20 May 2014 User account AlvaroTasistro talk contribs was created by WikiSysop talk contribs (contributor TFPIE)
15:24, 20 May 2014 User account KenichiAsai talk contribs was created by WikiSysop talk contribs (contributor TFPIE)
15:22, 20 May 2014 User account YukiIshii talk contribs was created by WikiSysop talk contribs (contributor TFPIE)
15:18, 20 May 2014 User account BastiaanHeeren talk contribs was created by WikiSysop talk contribs (contributor TFPIE)
15:16, 20 May 2014 User account TimOlmer talk contribs was created by WikiSysop talk contribs (contributor TFPIE)
15:12, 20 May 2014 User account VictorWinter talk contribs was created by WikiSysop talk contribs (contributor TFPIE)
15:07, 20 May 2014 User account JohanJeuring talk contribs was created by WikiSysop talk contribs (contributor TFPIE)
14:25, 20 May 2014 Peter88 talk contribs uploaded File:Tfpie2014 submission 16.pdf
14:24, 20 May 2014 Peter88 talk contribs uploaded File:Tfpie2014 submission 7.pdf (In this paper, we describe our experiences teaching concepts of functional programming to a group of almost 300 students. In it we discuss what topics we taught, the kind of assignments we expected them to make, the operational aspects of the course, what)
14:23, 20 May 2014 Peter88 talk contribs uploaded File:Tfpie2014 submission 8.pdf (Efficient implementations of sets and maps (dictionaries) are important in computer science, and balanced binary search trees are the basis of the best practical implementations. Pedagogically, however, they are often quite complicated, especially with re)
14:22, 20 May 2014 Peter88 talk contribs uploaded File:Tfpie2014 submission 5.pdf (Software Architecture is an important part of the Computer Science curriculum. In this paper we propose using Haskell as a tool for exercising architectural patterns, and argue that this enhances understanding of the material by the students and clarity o)
14:21, 20 May 2014 Peter88 talk contribs uploaded File:Tfpie2014 submission 12.pdf (The target of our course advanced functional programming is currently shifting towards the design, use, and the functional implementation techniques for embedded Domains Specific Languages, DSLs. We use a well-known and very simple imperative language as )
14:20, 20 May 2014 Peter88 talk contribs uploaded File:Tfpie2014 submission 6.pdf (We describe a method for deepening a student’s understanding of basic physics by asking the student to express physical ideas in a functional programming language. The method is implemented in a second-year course in computational physics at Lebanon Val)
14:19, 20 May 2014 Peter88 talk contribs uploaded File:Tfpie2014 submission 11.pdf (In this paper we describe a Von Neumann type single core processor. It has many simplifications in comparison with a single core realistic processor, but it nevertheless is Turing complete. We also describe the role it plays in teaching both functional pr)
14:18, 20 May 2014 Peter88 talk contribs uploaded File:Tfpie2014 submission 9.pdf (In this paper we present the usage of Haskell and ClaSH in lectures on hardware design for students at the University of Twente. We discuss some examples from the field of digital signal processing, namely a high-pass filter and a low-pass filter. We demo)
14:16, 20 May 2014 Peter88 talk contribs uploaded File:Tfpie2014 submission 14.pdf (An introductory formal languages course exposes students to automata theory, grammars, constructive proofs, computability, and decidability. This exposure usually comes late in the undergraduate curriculum or early in the graduate curriculum. In either se)
14:14, 20 May 2014 Peter88 talk contribs uploaded File:Tfpie2014 submission 15.pdf (We claim that program design techniques, like equational derivation of programs from specifications and separation of concerns, can be applied to obtain results in Mathematics. This means that Mathematics and Programming are not at all alien in their meth)
14:12, 20 May 2014 Peter88 talk contribs uploaded File:Tfpie2014 submission 13.pdf (We present the motivations, syllabus and teaching method of Foundations of Computing, a course of Mathematics whose objects happen to be given by a functional programming language.)
14:11, 20 May 2014 Peter88 talk contribs uploaded File:Tfpie2014 submission 10.pdf (A type debugger interactively detects the expression which causes a type error. It asks users whether they intend the types of identifiers to be those that the compiler inferred. However, it seems that novice programmers using type debugger often get in t)
14:09, 20 May 2014 Peter88 talk contribs uploaded File:Tfpie2014 submission 4.pdf (A number of introductory textbooks for Haskell use calculations right from the start to give the reader insight into the evaluation of expressions and the behavior of functional programs. In fact, many programming concepts that are considered to be import)
14:06, 20 May 2014 Peter88 talk contribs uploaded File:Tfpie2014 submission 1.pdf (Functional programming languages are seen by many as instrumental to effectively utilizing the computational power of multi-core platforms. As a result, there is growing interest to introduce functional programming and functional thinking as early as poss)
17:11, 11 June 2013 User account Jlc talk contribs was created by WikiSysop talk contribs (new account)
10:26, 10 June 2013 User account JohnPeterson talk contribs was created by WikiSysop talk contribs (new account)
12:22, 31 May 2013 User account ElenaMachkasova talk contribs was created by WikiSysop talk contribs (new account)
12:15, 31 May 2013 CnczSysop talk contribs changed group membership for WikiSysop from (none) to administrator and bureaucrat
00:40, 13 May 2013 Peter88 talk contribs uploaded File:TFPIE2013 Steps Towards Teaching Clojure.pdf (The Clojure programming language is a new language in the LISP family that is gaining rapid popularity in industry due to its elegant design and suitability for concurrent programming. We argue that Clojure has benefits for being taught as a programming l)
00:39, 13 May 2013 Peter88 talk contribs uploaded File:TFPIE2013 Functional Reactive Programming.pdf
00:37, 13 May 2013 Peter88 talk contribs uploaded File:TFPIE2013 Racket Functional Programming.pdf (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,)
00:36, 13 May 2013 Peter88 talk contribs uploaded File:TFPIE2013 Hardware Design Using Clash.pdf (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 )
00:35, 13 May 2013 Peter88 talk contribs uploaded File:TFPIE2013 Structural Induction Principles.pdf (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)
00:31, 13 May 2013 Peter88 talk contribs uploaded File:TFPIE 2013 Principles to Practice with Class.pdf (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)
17:29, 11 August 2012 CnczSysop talk contribs deleted page Talk:Main Page (Vandalism: spam)
17:28, 11 August 2012 CnczSysop talk contribs deleted page User talk:Claudilog
17:28, 11 August 2012 CnczSysop talk contribs deleted page User talk:Huipetterson1
17:28, 11 August 2012 CnczSysop talk contribs deleted page User talk:FixToolbox
17:28, 11 August 2012 CnczSysop talk contribs deleted page User talk:Jenny1989
17:28, 11 August 2012 CnczSysop talk contribs deleted page User:FixToolbox
17:28, 11 August 2012 CnczSysop talk contribs deleted page User:CandaceFarkas124
17:28, 11 August 2012 CnczSysop talk contribs deleted page User talk:Bieliznasklepnet
17:28, 11 August 2012 CnczSysop talk contribs deleted page User talk:Fushiyuanpvc
17:28, 11 August 2012 CnczSysop talk contribs deleted page User talk:RepairToolbox
17:25, 11 August 2012 CnczSysop talk contribs deleted page CandaceFarkas124
17:25, 11 August 2012 CnczSysop talk contribs deleted page Cassandra
17:25, 11 August 2012 CnczSysop talk contribs deleted page Angie
17:25, 11 August 2012 CnczSysop talk contribs deleted page RondonEicher471
17:25, 11 August 2012 CnczSysop talk contribs deleted page LomasTarver608
17:25, 11 August 2012 CnczSysop talk contribs deleted page ShavonhseritzhqdJungman9054367
17:25, 11 August 2012 CnczSysop talk contribs deleted page Single Memory Foam Mattress Will be the Most Effective2832496
17:25, 11 August 2012 CnczSysop talk contribs deleted page Website laten maken
17:04, 11 August 2012 CnczSysop talk contribs unblocked Peter88 talk contribs
17:03, 11 August 2012 CnczSysop talk contribs unblocked Hary talk contribs
17:00, 11 August 2012 CnczSysop talk contribs unblocked Btrancon talk contribs (Seems legit after all)
18:31, 24 July 2012 CnczSysop talk contribs blocked HalseySalazarifa talk with an expiration time of indefinite (account creation disabled) (Inserting nonsense/gibberish into pages)
18:30, 24 July 2012 CnczSysop talk contribs blocked Hary talk contribs with an expiration time of indefinite (account creation disabled) (Inserting nonsense/gibberish into pages)
18:29, 24 July 2012 CnczSysop talk contribs blocked MurrayGeorgexrr talk with an expiration time of indefinite (account creation disabled) (Inserting nonsense/gibberish into pages)
18:29, 24 July 2012 CnczSysop talk contribs blocked RoyceWebbcvu talk with an expiration time of indefinite (account creation disabled) (Inserting nonsense/gibberish into pages)
18:29, 24 July 2012 CnczSysop talk contribs blocked Btrancon talk contribs with an expiration time of indefinite (account creation disabled) (Inserting nonsense/gibberish into pages)
18:29, 24 July 2012 CnczSysop talk contribs blocked Kurtie54dc talk with an expiration time of indefinite (account creation disabled) (Inserting nonsense/gibberish into pages)
18:28, 24 July 2012 CnczSysop talk contribs blocked JacobBeardlmt talk with an expiration time of indefinite (account creation disabled) (Inserting nonsense/gibberish into pages)
18:28, 24 July 2012 CnczSysop talk contribs blocked Jmcklinz4 talk with an expiration time of indefinite (account creation disabled) (Inserting nonsense/gibberish into pages)
18:28, 24 July 2012 CnczSysop talk contribs blocked AndrewKramerppn talk with an expiration time of indefinite (account creation disabled) (Inserting nonsense/gibberish into pages)
18:27, 24 July 2012 CnczSysop talk contribs blocked TylerBlackpvd talk with an expiration time of indefinite (account creation disabled) (Inserting nonsense/gibberish into pages)
18:27, 24 July 2012 CnczSysop talk contribs blocked KilianPerrytgc talk with an expiration time of indefinite (account creation disabled) (Inserting nonsense/gibberish into pages)
18:27, 24 July 2012 CnczSysop talk contribs blocked Emily481 talk with an expiration time of indefinite (account creation disabled) (Inserting nonsense/gibberish into pages)
18:27, 24 July 2012 CnczSysop talk contribs blocked Belgrade69 talk with an expiration time of indefinite (account creation disabled) (Inserting nonsense/gibberish into pages)
18:26, 24 July 2012 CnczSysop talk contribs blocked Huipetterson1 talk with an expiration time of indefinite (account creation disabled) (Inserting nonsense/gibberish into pages)
18:26, 24 July 2012 CnczSysop talk contribs blocked Peter88 talk contribs with an expiration time of indefinite (account creation disabled) (Inserting nonsense/gibberish into pages)
18:26, 24 July 2012 CnczSysop talk contribs blocked Bieliznasklepnet talk with an expiration time of indefinite (account creation disabled) (Inserting nonsense/gibberish into pages)
18:26, 24 July 2012 CnczSysop talk contribs blocked CulverMoranokg talk with an expiration time of indefinite (account creation disabled) (Inserting nonsense/gibberish into pages)
18:26, 24 July 2012 CnczSysop talk contribs blocked FixToolbox talk with an expiration time of indefinite (account creation disabled) (Inserting nonsense/gibberish into pages)
18:25, 24 July 2012 CnczSysop talk contribs blocked WaltonGallegosjhx talk with an expiration time of indefinite (account creation disabled) (Inserting nonsense/gibberish into pages)
18:24, 24 July 2012 CnczSysop talk contribs blocked Jenny1989 talk with an expiration time of indefinite (account creation disabled) (Inserting nonsense/gibberish into pages)
18:24, 24 July 2012 CnczSysop talk contribs blocked MicucciKorneliusze733 talk with an expiration time of indefinite (account creation disabled) (Inserting nonsense/gibberish into pages)
18:24, 24 July 2012 CnczSysop talk contribs blocked RondonEicher471 talk with an expiration time of indefinite (account creation disabled) (Inserting nonsense/gibberish into pages)
18:23, 24 July 2012 CnczSysop talk contribs blocked LaurieU talk with an expiration time of indefinite (account creation disabled) (Inserting nonsense/gibberish into pages)
18:23, 24 July 2012 CnczSysop talk contribs blocked Claudilog talk with an expiration time of indefinite (account creation disabled) (Intimidating behaviour/harassment)
18:23, 24 July 2012 CnczSysop talk contribs blocked LomasTarver608 talk with an expiration time of indefinite (account creation disabled) (Inserting nonsense/gibberish into pages)
18:23, 24 July 2012 CnczSysop talk contribs blocked BentonMorenopmq talk with an expiration time of indefinite (account creation disabled) (Inserting nonsense/gibberish into pages)
18:22, 24 July 2012 CnczSysop talk contribs blocked RepairToolbox talk with an expiration time of indefinite (account creation disabled) (Inserting nonsense/gibberish into pages)
18:22, 24 July 2012 CnczSysop talk contribs blocked TangelanyxvnpfuuiDevelice talk with an expiration time of indefinite (account creation disabled) (Inserting nonsense/gibberish into pages)
18:22, 24 July 2012 CnczSysop talk contribs blocked JamesaaaaaaaaaaSmith talk with an expiration time of indefinite (account creation disabled) (Inserting nonsense/gibberish into pages)
18:21, 24 July 2012 CnczSysop talk contribs blocked TitusAllengpv talk with an expiration time of indefinite (account creation disabled) (Inserting nonsense/gibberish into pages)
18:20, 24 July 2012 CnczSysop talk contribs blocked Rachelle52 talk with an expiration time of indefinite (account creation disabled) (Inserting nonsense/gibberish into pages)
18:20, 24 July 2012 CnczSysop talk contribs blocked TatumouaachzqxxKortz talk with an expiration time of indefinite (account creation disabled) (Inserting nonsense/gibberish into pages)
18:20, 24 July 2012 CnczSysop talk contribs blocked CalebBoonewln talk with an expiration time of indefinite (account creation disabled) (Inserting nonsense/gibberish into pages)
18:19, 24 July 2012 CnczSysop talk contribs blocked ShavonhseritzhqdJungman talk with an expiration time of indefinite (account creation disabled) (Inserting nonsense/gibberish into pages)
18:19, 24 July 2012 CnczSysop talk contribs blocked FreyaBza talk with an expiration time of indefinite (account creation disabled) (Inserting nonsense/gibberish into pages)
18:19, 24 July 2012 CnczSysop talk contribs blocked HectorJuarezzmz talk with an expiration time of indefinite (account creation disabled) (Inserting nonsense/gibberish into pages)
18:19, 24 July 2012 CnczSysop talk contribs blocked Gaby talk with an expiration time of indefinite (account creation disabled)
18:18, 24 July 2012 CnczSysop talk contribs blocked LandonAshleymzj talk with an expiration time of indefinite (account creation disabled) (Inserting nonsense/gibberish into pages)
18:18, 24 July 2012 CnczSysop talk contribs blocked GriswaldTranfri talk with an expiration time of indefinite (account creation disabled)
18:18, 24 July 2012 CnczSysop talk contribs blocked Angie talk with an expiration time of indefinite (account creation disabled)
18:18, 24 July 2012 CnczSysop talk contribs blocked Cassandra talk with an expiration time of indefinite (account creation disabled)
18:17, 24 July 2012 CnczSysop talk contribs blocked CandaceFarkas124 talk with an expiration time of indefinite (account creation disabled)
18:16, 24 July 2012 CnczSysop talk contribs blocked CarverBrewerjci talk with an expiration time of indefinite (account creation disabled) (Inserting nonsense/gibberish into pages)
04:31, 24 July 2012 User account ZachiBaharav talk contribs was created
03:59, 24 July 2012 User account FernandoAlegre talk contribs was created
02:46, 24 July 2012 User account Ben Polman talk contribs was created
22:06, 23 July 2012 User account ScottWalck talk contribs was created
22:15, 21 July 2012 User account Morazanm talk contribs was created
18:15, 21 July 2012 User account PhilipHolzenspies talk contribs was created
02:48, 15 July 2012 User account VadimZaytsev talk contribs was created
02:00, 12 July 2012 User account JanvanEijck talk contribs was created
14:50, 8 July 2012 User account RKoot talk contribs was created
23:57, 5 July 2012 User account PrabhakarRagde talk contribs was created
22:48, 4 July 2012 User account AlejandroSerrano talk contribs was created
06:47, 4 July 2012 User account Rinus talk contribs was created
04:44, 3 July 2012 User account ScottWalk talk contribs was created
02:40, 3 July 2012 User account ChristiaanBaaij talk contribs was created
16:14, 30 June 2012 User account JanKuper talk contribs was created
09:47, 30 June 2012 User account RinseWester talk contribs was created
19:27, 28 June 2012 User account RosarioAntunez talk contribs was created
11:47, 28 June 2012 User account MarcoMorazan talk contribs was created
09:11, 27 June 2012 User account NoraSzasz talk contribs was created
08:49, 27 June 2012 User account JuanMichelini talk contribs was created
05:13, 27 June 2012 User account AlvaroTasistro talk contribs was created
19:08, 26 June 2012 User account KenichiAsai talk contribs was created
17:57, 26 June 2012 User account YukiIshii talk contribs was created
08:25, 26 June 2012 User account BastiaanHeeren talk contribs was created
00:47, 26 June 2012 User account TimOlmer talk contribs was created
20:57, 25 June 2012 User account VictorWinter talk contribs was created
18:52, 25 June 2012 User account JohanJeuring talk contribs was created
13:10, 23 June 2012 User account Jlc talk contribs was created
00:58, 21 June 2012 User account JohnPeterson talk contribs was created
16:24, 19 June 2012 User account ElenaMachkasova talk contribs was created
12:38, 15 June 2012 Peter88 talk contribs uploaded File:Brainstorm june 13 2012.pdf (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.)
12:14, 15 June 2012 User account Peter88 talk contribs was created
11:30, 2 June 2012 Btrancon talk contribs uploaded File:TFPIE2012- Recursion Schemes of Scientific Models-demoR.png
11:26, 2 June 2012 Btrancon talk contribs uploaded File:TFPIE2012- Recursion Schemes of Scientific Models-demoD.png
11:22, 2 June 2012 Btrancon talk contribs uploaded File:TFPIE2012- Recursion Schemes of Scientific Models-demoI.png
11:14, 2 June 2012 Btrancon talk contribs uploaded File:TFPIE2012- Recursion Schemes of Scientific Models-demoT.png
11:00, 2 June 2012 Btrancon talk contribs uploaded a new version of File:TFPIE2012- Recursion Schemes of Scientific Models-demoA.png
10:59, 2 June 2012 Btrancon talk contribs uploaded File:TFPIE2012- Recursion Schemes of Scientific Models-demoA.png
10:51, 2 June 2012 Btrancon talk contribs uploaded File:TFPIE2012 Supplement RecursionSchemesOfScientificModels Widemann.zip (Electronic Supplement: Literate Haskell code of the article as mentioned in a footnote.)
10:49, 2 June 2012 User account Btrancon talk contribs was created
22:40, 31 May 2012 User account Hary talk contribs was created
14:17, 31 May 2012 Jurriaanhage talk contribs uploaded File:TFPIE2012 Draft HolmesForHaskell Hage and Vermeer.pdf
09:12, 31 May 2012 User account Jurriaanhage talk contribs was created
18:00, 30 May 2012 User account Fushiyuanpvc talk contribs was created
22:57, 29 May 2012 J.stutterheim talk contribs uploaded File:Jculecturenotesdutch.pdf (Lecture notes for the JCU prethesis (Dutch))
22:54, 29 May 2012 User account J.stutterheim talk contribs was created
17:00, 29 May 2012 User account Pieter talk contribs was created
15:27, 29 May 2012 WikiSysop talk contribs uploaded File:TFPIE2012 Draft TactileTerms Holzenspies.pdf (In this paper, we are arguing for a new way of programmer-compiler interaction. ...)
15:25, 29 May 2012 WikiSysop talk contribs uploaded 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. ...)
15:24, 29 May 2012 WikiSysop talk contribs uploaded 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. ...)
15:21, 29 May 2012 WikiSysop talk contribs uploaded 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. ...)
15:19, 29 May 2012 WikiSysop talk contribs uploaded File:Tfpie2012 submission 5.pdf (Holmes is a plagiarism detection tool for Haskell programs. ...)
15:17, 29 May 2012 WikiSysop talk contribs uploaded 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. ...)
15:15, 29 May 2012 WikiSysop talk contribs uploaded File:TFPIE2012 Draft CS4204ConcurrencyMulticore Hammond.pdf (We have been teaching a new 25-hour advanced lecture module on concurrency and multicore parallelism in 2012. ...)
15:12, 29 May 2012 WikiSysop talk contribs uploaded 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. ...)
15:10, 29 May 2012 WikiSysop talk contribs uploaded 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. ...)
15:07, 29 May 2012 WikiSysop talk contribs uploaded File:TFPIE2012 Draft TeachingGenericProgramming Koopman and Plasmeijer.pdf (In this paper we explain how we teach generic programming to master students in computer science. ...)
15:05, 29 May 2012 WikiSysop talk contribs uploaded 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. ...)
15:00, 29 May 2012 WikiSysop talk contribs uploaded 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. ...)
14:53, 29 May 2012 WikiSysop talk contribs uploaded 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? ...)
19:25, 2 November 2011 User account WikiSysop talk contribs was created by CnczSysop talk contribs

All public logs

Navigation menu

Search