All public logs
Jump to navigation
Jump to search
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).
(newest | oldest) View (newer 100 | older 100) (20 | 50 | 100 | 250 | 500)- 17:29, 4 April 2024 RoseBohrer talk contribs created page TFPIE2025 (Create page)
- 10:32, 2 April 2024 User account RoseBohrer talk contribs was created by WikiSysop talk contribs and password was sent by email (Chair TFPiE 2025)
- 18:00, 17 July 2023 StephenChang talk contribs created page TFPIE2024 (start TFPIE 2024 page)
- 16:43, 10 July 2023 User account StephenChang talk contribs was created by WikiSysop talk contribs and password was sent by email (chair TFPiE 2024)
- 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)
- 16:52, 13 October 2020 WikiSysop talk contribs automatically marked revision 321 of page Call For Papers patrolled
- 11:25, 12 October 2020 WikiSysop talk contribs automatically marked revision 320 of page Call For Papers patrolled
- 11:24, 12 October 2020 WikiSysop talk contribs automatically marked revision 319 of page TFPIE2021 patrolled
- 11:19, 12 October 2020 WikiSysop talk contribs automatically marked revision 318 of page TFPIE2021 patrolled
- 11:18, 12 October 2020 WikiSysop talk contribs automatically marked revision 317 of page Call For Papers patrolled
- 09:51, 30 September 2020 WikiSysop talk contribs automatically marked revision 316 of page TFPIE2021 patrolled
- 09:17, 30 September 2020 WikiSysop talk contribs automatically marked revision 315 of page Call For Papers patrolled
- 09:14, 30 September 2020 WikiSysop talk contribs automatically marked revision 314 of page Call For Papers patrolled
- 09:02, 30 September 2020 WikiSysop talk contribs automatically marked revision 313 of page Call For Papers patrolled
- 08:59, 30 September 2020 WikiSysop talk contribs automatically marked revision 312 of page Main Page patrolled
- 20:20, 28 September 2020 WikiSysop talk contribs automatically marked revision 311 of page TFPIE2021 patrolled
- 20:14, 28 September 2020 WikiSysop talk contribs automatically marked revision 310 of page Call For Papers patrolled
- 20:12, 28 September 2020 WikiSysop talk contribs automatically marked revision 309 of page Call For Papers patrolled
- 20:04, 28 September 2020 WikiSysop talk contribs automatically marked revision 308 of page TFPIE2021 patrolled
- 13:44, 28 September 2020 WikiSysop talk contribs automatically marked revision 307 of page TFPIE2021 patrolled
- 19:35, 22 September 2020 WikiSysop talk contribs automatically marked revision 306 of page TFPIE2021 patrolled
- 17:42, 22 September 2020 WikiSysop talk contribs automatically marked revision 305 of page TFPIE2021 patrolled
- 17:35, 22 September 2020 WikiSysop talk contribs automatically marked revision 304 of page TFPIE2021 patrolled
- 16:39, 22 September 2020 WikiSysop talk contribs automatically marked revision 303 of page Main Page patrolled
- 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
- 12:19, 22 June 2019 WikiSysop talk contribs automatically marked revision 284 of page TFPIE2018 patrolled
- 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)
- 11:53, 23 May 2018 WikiSysop talk contribs automatically marked revision 261 of page TFPIE2017 patrolled