All public logs
From tfpie
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)- 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
- 08:38, 15 June 2012 3.238.125.76 (talk) moved page User talk:Huipetterson1 to Website laten maken
- 08:36, 15 June 2012 User account 3.238.125.76 (talk) was created
- 04:05, 10 June 2012 User account 3.238.125.76 (talk) was created
- 00:09, 10 June 2012 User account 3.238.125.76 (talk) was created
- 19:24, 9 June 2012 User account 3.238.125.76 (talk) was created
- 17:08, 9 June 2012 User account 3.238.125.76 (talk) was created
- 17:05, 9 June 2012 User account 3.238.125.76 (talk) was created
- 17:19, 5 June 2012 User account 3.238.125.76 (talk) was created
- 22:30, 3 June 2012 User account 3.238.125.76 (talk) was created
- 21:59, 3 June 2012 User account 3.238.125.76 (talk) 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