User contributions
Jump to navigation
Jump to search
- 21:03, 15 March 2022 diff hist +3 TFPIE2022 →Keynote address (Chair: Marco Morazan)
- 21:02, 15 March 2022 diff hist 0 File:Keynote TFPIE 2022 The Perfect FP Course.pdf Peter88 uploaded a new version of File:Keynote TFPIE 2022 The Perfect FP Course.pdf current
- 08:59, 15 March 2022 diff hist +53 m TFPIE2022 →Keynote address (Chair: Marco Morazan)
- 08:59, 15 March 2022 diff hist +88 N File:Keynote TFPIE 2022 The Perfect FP Course.pdf Slides keynote "The Perfect Functional Programming Course" by Peter Achten
- 13:50, 20 April 2020 diff hist 0 File:TFPIE2020.pdf Peter88 uploaded a new version of File:TFPIE2020.pdf current
- 16:35, 12 February 2020 diff hist +23 TFPIE2020 added slides of position talk: "Segments: a better Rainfall problem for FP"
- 16:21, 12 February 2020 diff hist +69 N File:TFPIE2020.pdf Segments: a better Rainfall problem for FP? - position presentation -
- 14:18, 17 May 2019 diff hist +1 m Main Page →TFPIE2019
- 16:04, 29 January 2019 diff hist 0 TFPIE2019
- 16:03, 29 January 2019 diff hist +392 N TFPIE2019 →TFPIE 2019
- 16:00, 29 January 2019 diff hist +102 Main Page →TFPIE workshops
- 13:38, 5 March 2018 diff hist +1 Main Page →TFPIE
- 13:38, 5 March 2018 diff hist +369 N TFPIE2018 →TFP'18
- 13:36, 5 March 2018 diff hist +96 Main Page →TFPIE
- 12:17, 24 May 2017 diff hist -4 TFPIE2017
- 12:15, 24 May 2017 diff hist +403 N TFPIE2017 Created page with "The 6th International Workshop on Trends in Functional Programming in Education, TFPIE 2017, will be held on June 22, 2017 at the University of Kent in the UK. It is co-locate..."
- 12:12, 24 May 2017 diff hist +90 Main Page →TFPIE workshops
- 11:20, 18 March 2015 diff hist -4 TFPIE2014 →EPTCS Proceedings current
- 09:46, 12 December 2014 diff hist +636 TFPIE2013 →Invited Speaker current
- 09:40, 12 December 2014 diff hist -121 Main Page
- 09:40, 12 December 2014 diff hist +123 Main Page →TFPIE workshops
- 09:36, 12 December 2014 diff hist -497 TFPIE2014 →Invited Speaker
- 09:36, 12 December 2014 diff hist +497 TFPIE2014 →Preliminary program
- 09:35, 12 December 2014 diff hist +995 TFPIE2014 →Preliminary program + EPTCS proceedings
- 14:56, 26 May 2014 diff hist +1 TFPIE2014 →Preliminary program
- 13:25, 20 May 2014 diff hist +403 TFPIE2014 →Preliminary program
- 13:25, 20 May 2014 diff hist 0 N File:Tfpie2014 submission 16.pdf current
- 13:24, 20 May 2014 diff hist +490 N 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 current
- 13:23, 20 May 2014 diff hist +500 N 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 current
- 13:22, 20 May 2014 diff hist +391 N 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 current
- 13:21, 20 May 2014 diff hist +721 N 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 current
- 13:20, 20 May 2014 diff hist +725 N 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
- 13:19, 20 May 2014 diff hist +284 N 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 current
- 13:18, 20 May 2014 diff hist +592 N 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 current
- 13:16, 20 May 2014 diff hist +1,368 N 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 current
- 13:14, 20 May 2014 diff hist +666 N 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 current
- 13:12, 20 May 2014 diff hist +180 N 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. current
- 13:11, 20 May 2014 diff hist +37 TFPIE2014 →Preliminary program
- 13:11, 20 May 2014 diff hist +711 N 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 current
- 13:10, 20 May 2014 diff hist +72 TFPIE2014 →Preliminary program
- 13:09, 20 May 2014 diff hist +1,003 N 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 current
- 13:06, 20 May 2014 diff hist +701 N 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 current
- 14:20, 9 May 2014 diff hist +278 TFPIE2014 →Preliminary program
- 14:12, 9 May 2014 diff hist +2,077 TFPIE2014 →Contributions
- 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