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 20 | older 20) (20 | 50 | 100 | 250 | 500)- 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)