User contributions
Jump to navigation
Jump to search
- 10:36, 24 April 2014 diff hist +497 TFPIE2014 →TFPIE 2014
- 10:41, 3 December 2013 diff hist +589 N TFPIE2014 Created page with "== TFPIE 2014 == TFPIE 2014 is the third International Workshop on Trends in Functional Programming in Education. It is co-located with TFP 2014 which is held in Soesterberg, at ..."
- 10:37, 3 December 2013 diff hist +121 Main Page →TFPIE
- 10:49, 21 May 2013 diff hist +108 TFPIE2013 →Contributions
- 23:40, 12 May 2013 diff hist +684 N 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 current
- 23:39, 12 May 2013 diff hist 0 N File:TFPIE2013 Functional Reactive Programming.pdf current
- 23:37, 12 May 2013 diff hist +669 N 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, current
- 23:36, 12 May 2013 diff hist +562 N 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 current
- 23:35, 12 May 2013 diff hist +1,001 N 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 current
- 23:34, 12 May 2013 diff hist +40 TFPIE2013 →Contributions
- 23:31, 12 May 2013 diff hist +846 N 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 current
- 23:29, 12 May 2013 diff hist +19 TFPIE2013 →Contributions
- 23:23, 12 May 2013 diff hist +1,191 TFPIE2013 →TFPIE 2013
- 13:27, 15 March 2013 diff hist +130 TFPIE2013 →TFPIE 2013
- 13:26, 15 March 2013 diff hist +192 N TFPIE2013 Created page with "== TFPIE 2013 == TFPIE 2013 is the second International Workshop on Trends in Functional Programming in Education. It is co-located with TFP 2013 at Brigham Young University, Pro..."
- 13:24, 15 March 2013 diff hist +4 Main Page →TFPIE2013
- 13:21, 15 March 2013 diff hist +862 TFPIE2012 →Contributions
- 11:19, 10 January 2013 diff hist +751 Main Page →TFPIE
- 11:42, 15 June 2012 diff hist +325 N TFPIEwiki Created page with "== TFPIE wiki project == On this page we collect information on the TFPIE wiki project that concerns ideas, discussions, structure proposals, and so on for the TFPIE wiki. * [ht..." current
- 11:38, 15 June 2012 diff hist +177 N 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. current
- 11:33, 15 June 2012 diff hist +530 Main Page →TFPIE