Essays about: "Haskell"

Showing result 11 - 15 of 39 essays containing the word Haskell.

  1. 11. Trees that Grow in the Paragon Compiler A Step Towards Modularity

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

    Author : John Andersson; Anders Berggren Sjöblom; Anders Bäckelie; Johannes Ljung Ekeroth; Lukas Skystedt; Lina Terner; [2020-10-30]
    Keywords : ;

    Abstract : Paragon is a programming language that extends Java with statically checked information flow control policies. Paragon’s compiler, which is written in Haskell, has a large type checker. Its current implementation is monolithic, making the compiler challenging to develop. Paragon’s authors, Broberg et al. READ MORE

  3. 12. 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 any program. Many times this involves making changes requiring a great deal of typing in various places, which is tedious and error-prone. READ MORE

  4. 13. 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

  5. 14. 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

  6. 15. Type-directed Generation and Shrinking for Imperative Programming Languages

    University essay from 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