Essays about: "Haskell"

Showing result 1 - 5 of 28 essays containing the word Haskell.

  1. 1. Automatic refactoring for Agda

    University essay from Göteborgs universitet/Institutionen för data- och informationsteknik

    Author : Karin Wibergh; [2019-04-24]
    Keywords : Agda; dependent types; refactoring; thesis;

    Abstract : The task of making changes to an existing code base to improve performance, legibility,or extensibility while preserving behaviour is important to virtually anyprogram. Many times this involves making changes requiring a great deal of typingin various places, which is tedious and error-prone. READ MORE

  2. 2. Monads in Haskell and Category Theory

    University essay from Uppsala universitet/Institutionen för informationsteknologi

    Author : Samuel Grahn; [2019]
    Keywords : ;

    Abstract : he monad is a mathematical concept, used by Haskell to describe — among other things — Input/Output. Many are intimidated by it since it stems from abstract mathematics — namely Category Theory. READ MORE

  3. 3. Interacting Particle Inferencefor Probabilistic Programming in Haskell

    University essay from Uppsala universitet/Institutionen för informationsteknologi

    Author : Per Engström; [2018]
    Keywords : ;

    Abstract : Probabilistic programming shows much promise as a declarative way to define statistical models, but inference is often expensive. A parallelisable particle Markovchain Monte Carlo sampler is implemented in Haskell and the domain-specific language Monad-Bayes. READ MORE

  4. 4. Type-directed Generation and Shrinking for Imperative Programming Languages

    University essay from Mälardalens högskola/Akademin för innovation, design och teknik; Mälardalens högskola/Akademin för innovation, design och teknik

    Author : Bodin Samuel; Söderman Joel; [2018]
    Keywords : ;

    Abstract : Optimizing compilers are large and complex systems, potentially consisting of millions of lines of code. As a result, the implementation of an industry standard compiler can contain several serious bugs. This is alarming given the critical part that software plays in modern society. READ MORE

  5. 5. Javista Automated Assessment of Imperative Programs

    University essay from Göteborgs universitet/Institutionen för data- och informationsteknik

    Author : Joel MazdakHultin Maximilian Farrokhzad AleksanderAlgehed Stern Kaar; Simon Boij; [2017-08-09]
    Keywords : Automated Assessment; Normalisation; Strategies; Property Based Testing; Programming;

    Abstract : This thesis presents a methodology and a tool for automated assessment of programming exercises,with the purpose of reducing the workload of teachers. Our aim is for the tool to provide accurateand useful assessment given an exercise specification. Using the tool could allow teachers to spendmore time helping students. READ MORE