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 50 | older 50) (20 | 50 | 100 | 250 | 500)- 13: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)
- 13: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.)
- 13: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)
- 13: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)
- 13: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)
- 16:11, 11 June 2013 User account Jlc talk contribs was created by WikiSysop talk contribs (new account)
- 09:26, 10 June 2013 User account JohnPeterson talk contribs was created by WikiSysop talk contribs (new account)
- 11:22, 31 May 2013 User account ElenaMachkasova talk contribs was created by WikiSysop talk contribs (new account)
- 11:15, 31 May 2013 CnczSysop talk contribs changed group membership for WikiSysop from (none) to administrator and bureaucrat
- 23:40, 12 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)
- 23:39, 12 May 2013 Peter88 talk contribs uploaded File:TFPIE2013 Functional Reactive Programming.pdf
- 23:37, 12 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,)
- 23:36, 12 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 )
- 23:35, 12 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)
- 23:31, 12 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)
- 16:29, 11 August 2012 CnczSysop talk contribs deleted page Talk:Main Page (Vandalism: spam)
- 16:28, 11 August 2012 CnczSysop talk contribs deleted page User talk:Jenny1989
- 16:28, 11 August 2012 CnczSysop talk contribs deleted page User talk:FixToolbox
- 16:28, 11 August 2012 CnczSysop talk contribs deleted page User talk:Huipetterson1
- 16:28, 11 August 2012 CnczSysop talk contribs deleted page User talk:Claudilog
- 16:28, 11 August 2012 CnczSysop talk contribs deleted page User talk:RepairToolbox
- 16:28, 11 August 2012 CnczSysop talk contribs deleted page User talk:Fushiyuanpvc
- 16:28, 11 August 2012 CnczSysop talk contribs deleted page User talk:Bieliznasklepnet
- 16:28, 11 August 2012 CnczSysop talk contribs deleted page User:CandaceFarkas124
- 16:28, 11 August 2012 CnczSysop talk contribs deleted page User:FixToolbox
- 16:25, 11 August 2012 CnczSysop talk contribs deleted page Single Memory Foam Mattress Will be the Most Effective2832496
- 16:25, 11 August 2012 CnczSysop talk contribs deleted page ShavonhseritzhqdJungman9054367
- 16:25, 11 August 2012 CnczSysop talk contribs deleted page LomasTarver608
- 16:25, 11 August 2012 CnczSysop talk contribs deleted page RondonEicher471
- 16:25, 11 August 2012 CnczSysop talk contribs deleted page Angie
- 16:25, 11 August 2012 CnczSysop talk contribs deleted page Cassandra
- 16:25, 11 August 2012 CnczSysop talk contribs deleted page CandaceFarkas124
- 16:25, 11 August 2012 CnczSysop talk contribs deleted page Website laten maken
- 16:04, 11 August 2012 CnczSysop talk contribs unblocked Peter88 talk contribs
- 16:03, 11 August 2012 CnczSysop talk contribs unblocked Hary talk contribs
- 16:00, 11 August 2012 CnczSysop talk contribs unblocked Btrancon talk contribs (Seems legit after all)
- 17:31, 24 July 2012 CnczSysop talk contribs blocked HalseySalazarifa talk with an expiration time of indefinite (account creation disabled) (Inserting nonsense/gibberish into pages)
- 17: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)
- 17:29, 24 July 2012 CnczSysop talk contribs blocked MurrayGeorgexrr talk with an expiration time of indefinite (account creation disabled) (Inserting nonsense/gibberish into pages)
- 17:29, 24 July 2012 CnczSysop talk contribs blocked RoyceWebbcvu talk with an expiration time of indefinite (account creation disabled) (Inserting nonsense/gibberish into pages)
- 17: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)
- 17:29, 24 July 2012 CnczSysop talk contribs blocked Kurtie54dc talk with an expiration time of indefinite (account creation disabled) (Inserting nonsense/gibberish into pages)
- 17:28, 24 July 2012 CnczSysop talk contribs blocked JacobBeardlmt talk with an expiration time of indefinite (account creation disabled) (Inserting nonsense/gibberish into pages)
- 17:28, 24 July 2012 CnczSysop talk contribs blocked Jmcklinz4 talk with an expiration time of indefinite (account creation disabled) (Inserting nonsense/gibberish into pages)
- 17:28, 24 July 2012 CnczSysop talk contribs blocked AndrewKramerppn talk with an expiration time of indefinite (account creation disabled) (Inserting nonsense/gibberish into pages)
- 17:27, 24 July 2012 CnczSysop talk contribs blocked TylerBlackpvd talk with an expiration time of indefinite (account creation disabled) (Inserting nonsense/gibberish into pages)
- 17:27, 24 July 2012 CnczSysop talk contribs blocked KilianPerrytgc talk with an expiration time of indefinite (account creation disabled) (Inserting nonsense/gibberish into pages)
- 17:27, 24 July 2012 CnczSysop talk contribs blocked Emily481 talk with an expiration time of indefinite (account creation disabled) (Inserting nonsense/gibberish into pages)
- 17:27, 24 July 2012 CnczSysop talk contribs blocked Belgrade69 talk with an expiration time of indefinite (account creation disabled) (Inserting nonsense/gibberish into pages)
- 17:26, 24 July 2012 CnczSysop talk contribs blocked Huipetterson1 talk with an expiration time of indefinite (account creation disabled) (Inserting nonsense/gibberish into pages)