Search results
Jump to navigation
Jump to search
Page title matches
- == Holmes for Haskell ==152 bytes (20 words) - 15:18, 29 May 2012
Page text matches
File:Tfpie2014 submission 9.pdf ...ulations that students learn in other courses, are readily translated into Haskell and mapped on an FPGA.(650 KB) - 14:18, 20 May 2014File:Tfpie2014 submission 5.pdf .... We also provide many examples of common architectural patterns and their Haskell counterparts to back up our suggestions.(175 KB) - 14:22, 20 May 2014- To see the Haskell for Everyone paper, visit [https://users.drew.edu/bburd/TFPIE/]82 bytes (14 words) - 19:54, 9 June 2019
File:Tfpie2012 submission 5.pdf Holmes is a plagiarism detection tool for Haskell programs. ...(204 KB) - 15:19, 29 May 2012File:Alegre.pdf Workshop paper: Haskell in Middle and High School Mathematics(246 KB) - 23:37, 7 July 2015File:TFPIE 2019 Teletype Specs.pdf ...g Teletype Behavior for the Automated Handling of Exercises on Interactive Haskell Programs(211 KB) - 17:41, 11 June 2019File:LearnPhysics.pdf Slides from the talk "Learn Physics by Programming in Haskell" at TFPIE 2014.(195 KB) - 17:49, 26 May 2014
File:TFPIE2012 Supplement RecursionSchemesOfScientificModels Widemann.zip Electronic Supplement: Literate Haskell code of the article as mentioned in a footnote.(303 KB) - 10:51, 2 June 2012- == Holmes for Haskell ==152 bytes (20 words) - 15:18, 29 May 2012
- ...g Teletype Behavior for the Automated Handling of Exercises on Interactive Haskell Programs141 bytes (18 words) - 17:45, 11 June 2019
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 e ...s paper we present a prototype implementation of a step-wise evaluator for Haskell expressions that supports multiple evaluation strategies, and which is spec(207 KB) - 14:09, 20 May 2014File:Farrugia-Roberts and Sondergaard TFPIE 2022 slides.pdf "Teaching simple constructive proofs with Haskell programs"(377 KB) - 10:29, 15 March 2022File:Farrugia-Roberts and Sondergaard TFPIE 2022 extended abstract.pdf "Teaching simple constructive proofs with Haskell programs"(241 KB) - 10:29, 15 March 2022File:TFPIE2013 Structural Induction Principles.pdf ...aught in the Functional Programming course at the University of Wyoming. A Haskell implementation of the algorithm is included in an appendix.(146 KB) - 00:35, 13 May 2013- ...and lab supervisor for Ralf Lämmel’s awesome course that covered learning Haskell and Prolog from scratch, as well as implementing definite clause grammars, ...(2013–2014, The Netherlands): lab supervision and course redesign in using Haskell on MSc SE students in a hope to open the doors for logical reasoning, autom2 KB (287 words) - 17:27, 26 May 2014
- [[10:35 - 10:55]] '''Evaluating Haskell expressions in a tutoring environment''' [''Tim Olmer, [[13:45 - 14:05]] '''Hardware design using Haskell and ClaSH''' [''Rinse Wester, Jan Kup5 KB (627 words) - 12:20, 18 March 2015
- ...(Jurriaan Hage, Brian Vermeer and Gerben Verburg) [[TFPIE2012: Holmes for Haskell]] ...emes of Scientific Models -- A Multi-Paradigm Study of the Logistic Map in Haskell (Baltasar Trancón y Widemann) [[TFPIE2012: Recursion Schemes of Scientific3 KB (412 words) - 14:59, 26 May 2014
File:Tfpie2014 submission 6.pdf ...cture of Newtonian mechanics is clarified by its expression in a language (Haskell) that supports higher order functions, types, and type classes. In electrom(153 KB) - 18:00, 26 May 2014- [[11:00 - 11:30]] '''Haskell for Everyone: An IDE Created by Students''' [''Barry Burd''] ...g Teletype Behavior for the Automated Handling of Exercises on Interactive Haskell Programs''' [''Oliver Westphal and Janis Voigtländer'']2 KB (300 words) - 20:08, 18 February 2021
- * Literate Haskell Archive [[File:TFPIE2012_Supplement_RecursionSchemesOfScientificModels_Wide ...oduced from the Literate Haskell code (provided some not quite hassle-free Haskell packages are installed, sorry).5 KB (707 words) - 11:29, 2 June 2012