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)- 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 44.192.114.32 (talk) moved page User talk:Huipetterson1 to Website laten maken
- 08:36, 15 June 2012 User account 44.192.114.32 (talk) was created
- 04:05, 10 June 2012 User account 44.192.114.32 (talk) was created
- 00:09, 10 June 2012 User account 44.192.114.32 (talk) was created
- 19:24, 9 June 2012 User account 44.192.114.32 (talk) was created
- 17:08, 9 June 2012 User account 44.192.114.32 (talk) was created
- 17:05, 9 June 2012 User account 44.192.114.32 (talk) was created
- 17:19, 5 June 2012 User account 44.192.114.32 (talk) was created
- 22:30, 3 June 2012 User account 44.192.114.32 (talk) was created
- 21:59, 3 June 2012 User account 44.192.114.32 (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
- 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:45, 1 June 2012 User account 44.192.114.32 (talk) was created
- 20:17, 1 June 2012 User account 44.192.114.32 (talk) 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
- 20:55, 30 May 2012 User account 44.192.114.32 (talk) 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)