User contributions
Jump to navigation
Jump to search
- 23:15, 30 January 2023 diff hist -1 TFPIE2023 current
- 23:13, 30 January 2023 diff hist 0 N File:TFPIE-2023-Alda.pdf current
- 04:06, 26 January 2023 diff hist +50 TFPIE2023
- 03:54, 26 January 2023 diff hist +97 N File:Disco-tfpie23.pdf Draft paper for "Disco: A Functional Programming Language for Discrete Mathematics" current
- 03:54, 26 January 2023 diff hist +106 N File:Disco-tfpie23-talk.pdf Slides for "Disco: A Functional Programming Language for Discrete Mathematics" presentation. current
- 03:51, 26 January 2023 diff hist +107 N File:ProofBuddyDraft.pdf Preliminary submission for "ProofBuddy: Acquiring Proof Competence with Friendly Assistance". current
- 03:50, 26 January 2023 diff hist +104 N File:ProofBuddySlides.pdf Slides for "ProofBuddy: Acquiring Proof Competence with Friendly Assistance" presentation. current
- 20:46, 14 January 2023 diff hist -2 TFPIE2023
- 20:44, 14 January 2023 diff hist +370 TFPIE2023
- 20:44, 14 January 2023 diff hist 0 N File:TFPIE 2023-Rui Simao.pdf current
- 19:31, 13 January 2023 diff hist +47 N File:TFPIE 2023 derive exam.pdf Extended abstract for Lubke et al current
- 19:30, 13 January 2023 diff hist +49 N File:Fp-e-exam-pres.pdf Slides for Lubke et al presentation current
- 17:11, 13 January 2023 diff hist +61 TFPIE2023 →Keynote (chair: Marco Morazan)
- 17:07, 13 January 2023 diff hist +28 N File:Tfpie-2023-shriram-compressed.pdf Keynote slides current
- 15:49, 7 January 2023 diff hist +26 TFPIE2023 →Presentation session 3
- 15:48, 7 January 2023 diff hist +22 TFPIE2023 →Presentation session 1
- 02:08, 6 January 2023 diff hist +19 TFPIE2023 →Program
- 02:07, 6 January 2023 diff hist +22 TFPIE2023 →Presentation session 2
- 02:07, 6 January 2023 diff hist +23 TFPIE2023 →Keynote
- 21:54, 5 January 2023 diff hist +151 TFPIE2023 →Program
- 21:41, 5 January 2023 diff hist +152 TFPIE2023 →Program
- 21:38, 5 January 2023 diff hist +1,636 TFPIE2023
- 01:00, 4 December 2022 diff hist +213 TFPIE2023 →How To Register
- 18:58, 1 December 2022 diff hist +161 TFPIE2023 →How To Register
- 05:17, 1 December 2022 diff hist +426 TFPIE2023 →Invited Speaker
- 21:29, 13 November 2022 diff hist -32 TFPIE2023
- 21:22, 21 October 2022 diff hist +52 TFPIE2023 Added the location
- 03:31, 15 October 2022 diff hist +12 TFPIE2023 →Important Dates
- 02:54, 15 October 2022 diff hist 0 TFPIE2023 →Important Dates
- 02:42, 15 October 2022 diff hist +522 TFPIE2023 →The Programme Committee
- 21:56, 15 September 2022 diff hist +95 TFPIE2023
- 22:08, 11 September 2022 diff hist +3,999 N 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,..."
- 19:16, 11 September 2022 diff hist +148 Main Page Added a link for TFPIE 2023
- 04:33, 15 March 2022 diff hist +54 TFPIE2022 →Presentation session 4
- 04:32, 15 March 2022 diff hist +27 TFPIE2022 →Presentation session 3
- 04:31, 15 March 2022 diff hist +23 TFPIE2022 →Keynote address
- 04:30, 15 March 2022 diff hist +22 TFPIE2022 →Presentation session 2
- 04:29, 15 March 2022 diff hist +21 TFPIE2022 →Presentation session 1
- 05:56, 8 March 2022 diff hist +2,524 TFPIE2022
- 00:51, 12 February 2022 diff hist +195 TFPIE2022 →How To Register
- 00:44, 12 February 2022 diff hist +44 TFPIE2022 →Important Dates
- 01:25, 30 January 2022 diff hist +1 Main Page →TFPIE2022
- 21:21, 11 January 2022 diff hist -14 Call For Papers 2022 current
- 21:18, 11 January 2022 diff hist +92 TFPIE2022
- 15:07, 10 January 2022 diff hist +19 Call For Papers 2022
- 18:11, 7 January 2022 diff hist +353 m TFPIE2022 →How To Register
- 18:07, 7 January 2022 diff hist +135 m TFPIE2022 →Trends in Functional Programming in Education (TFPIE)
- 17:48, 7 January 2022 diff hist +504 Call For Papers 2022
- 17:38, 7 January 2022 diff hist +1 m TFPIE2022 →Important Dates
- 15:01, 7 January 2022 diff hist +71 TFPIE2022 →Important Dates
- 14:59, 7 January 2022 diff hist +50 TFPIE2022 →Important Dates
- 14:53, 7 January 2022 diff hist +374 TFPIE2022 →Attention: update 1/4/2022
- 21:46, 4 January 2022 diff hist -10 TFPIE2022 →Attention: update 1/4/2022
- 20:18, 4 January 2022 diff hist +4 TFPIE2022 →Important Dates
- 20:17, 4 January 2022 diff hist +55 TFPIE2022 →Important Dates
- 20:15, 4 January 2022 diff hist +289 TFPIE2022
- 23:51, 1 January 2022 diff hist +12 Call For Papers 2022
- 23:34, 1 January 2022 diff hist 0 TFPIE2022 →Trends in Functional Programming in Education (TFPIE)
- 23:32, 1 January 2022 diff hist 0 TFPIE2022 →Topics
- 16:59, 27 December 2021 diff hist +14 TFPIE2022 →Important Dates
- 19:29, 2 December 2021 diff hist +30 TFPIE2022 →How To Register
- 19:27, 2 December 2021 diff hist +77 TFPIE2022 →Invited Speaker
- 16:06, 21 October 2021 diff hist +3,597 N Call For Papers 2022 Created page with " TFPIE 2022 Call for papers https://wiki.tfpie.science.ru.nl/TFPIE2022 (February 11th 2022, Krakow, Poland co-located with TFP 2022 and Lambda Days) TFPIE 2022 welcomes subm..."
- 16:05, 21 October 2021 diff hist +5 TFPIE2022
- 16:04, 21 October 2021 diff hist +21 TFPIE2022
- 22:21, 5 October 2021 diff hist +389 TFPIE2022 →How To Register
- 22:09, 5 October 2021 diff hist +720 TFPIE2022 →How To Submit
- 21:38, 5 October 2021 diff hist +96 TFPIE2022 →The Programme Committee
- 23:26, 29 September 2021 diff hist +378 TFPIE2022 →The Programme Committee
- 23:14, 25 September 2021 diff hist +31 TFPIE2022 →Topics
- 23:04, 25 September 2021 diff hist 0 TFPIE2022 →The Programme Committee
- 23:03, 25 September 2021 diff hist +14 TFPIE2022 →Important Dates
- 23:00, 25 September 2021 diff hist +3,118 N TFPIE2022 Website for TFPIE 2022 (Krakow, Poland, February 11 2022)
- 15:20, 23 September 2021 diff hist +170 Main Page →TFPIE workshops