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 250 | older 250) (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 created page File:TFPIE-2023-Alda.pdf
- 23:13, 30 January 2023 ElenaMachkasova talk contribs uploaded File:TFPIE-2023-Alda.pdf
- 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.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-talk.pdf (Slides for "Disco: A Functional Programming Language for Discrete Mathematics" presentation.)
- 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:51, 26 January 2023 ElenaMachkasova talk contribs created page File:ProofBuddyDraft.pdf (Preliminary submission for "ProofBuddy: Acquiring Proof Competence with Friendly Assistance".)
- 03:51, 26 January 2023 ElenaMachkasova talk contribs uploaded 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 created page File:TFPIE 2023-Rui Simao.pdf
- 20:44, 14 January 2023 ElenaMachkasova talk contribs uploaded File:TFPIE 2023-Rui Simao.pdf
- 19:31, 13 January 2023 ElenaMachkasova talk contribs created page File:TFPIE 2023 derive exam.pdf (Extended abstract for Lubke et al)
- 19:31, 13 January 2023 ElenaMachkasova talk contribs uploaded File:TFPIE 2023 derive exam.pdf (Extended abstract for Lubke et al)
- 19:30, 13 January 2023 ElenaMachkasova talk contribs created page File:Fp-e-exam-pres.pdf (Slides for Lubke et al presentation)
- 19:30, 13 January 2023 ElenaMachkasova talk contribs uploaded File:Fp-e-exam-pres.pdf (Slides for Lubke et al presentation)
- 17:07, 13 January 2023 ElenaMachkasova talk contribs created page File:Tfpie-2023-shriram-compressed.pdf (Keynote slides)
- 17:07, 13 January 2023 ElenaMachkasova talk contribs uploaded File:Tfpie-2023-shriram-compressed.pdf (Keynote slides)
- 17:07, 12 January 2023 Morazanm talk contribs created page File:Slides-reg-exp-fsm.pdf
- 17:07, 12 January 2023 Morazanm talk contribs uploaded 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...)