Essays about: "haskell"

Showing result 1 - 5 of 39 essays containing the word haskell.

1. 1. A type-driven approach for sensitivity checking with branching

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

   Author : Daniel Freiermuth; [2023-10-24]
   Keywords : Computer; science; computer science; thesis; differential privacy; type system; sensitivity; branching;

   Abstract : Differential Privacy (DP) is a promising approach to allow privacy preserving statistics over large datasets of sensitive data. It works by adding random noise to the result of the analytics. Understanding the sensitivity of a query is key to add the right amount of noise capable of protecting privacy of individuals in the dataset. READ MORE

3. 2. Syntax-based Concept Alignment for Machine Translation

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

   Author : Arianna Masciolini; [2023-03-30]
   Keywords : computational linguistic; machine translation; concept alignment; syntax; dependency parsing; Universal Dependencies; Grammatical Framework;

   Abstract : This thesis presents a syntax-based approach to Concept Alignment (CA), the task of finding semantical correspondences between parts of multilingual parallel texts, with a focus on Machine Translation (MT). Two variants of CA are taken into account: Concept Extraction (CE), whose aim is to identify new concepts by means of mere linguistic comparison, and Concept Propagation (CP), which consists in looking for the translation equivalents of a set of known concepts in a new language. READ MORE

4. 3. Front-end of a Debugger for Compiled Programs in Haskell

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

   Author : Andreas Olsson; Carl Bergman; Brage Salhus Bunk; Elias Johansson; Krešimir Popovic; [2023-03-03]
   Keywords : Haskell; debugger; debug; heap; lazy evaluation; functional programming; GHC;

   Abstract : There are debugging tools available for Haskell programs today, but despite providing help for developers, these tools are not widely used in the Haskell community. Current debugging tools for Haskell have different kinds of limitations. This thesis will discuss the implementation of a new debugger with a graphical interface. READ MORE

5. 4. A Language for Board Games – Development of an Embedded Domain-Specific Language for Describing Board Games

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

   Author : Edvin Alestig; Joel Ericson; Erik Eriksson; Lukas Schiavone; Filip Torphage; Joakim Tubring; [2023-03-03]
   Keywords : DSL; domain-specific languages; Haskell; functional programming; board games; game theory; domänspecifika språk; funktionell programmering; brädspel; spelteori;

   Abstract : In recent years board games have increasingly found themselves in the digital medium. One way to enable easier creation of digital board games is to create a domainspecific language (DSL) for that purpose. This thesis details the process of developing an embedded DSL for describing board games with Haskell as its host language. READ MORE

6. 5. Software Synthesis of Synchronous Data Flow Models Using ForSyDe IO

   University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

   Author : Yihang Zhao; [2022]
   Keywords : Synchronous Data Flow; Software Synthesis; ForSyDe; ForSyDe IO; Synkront dataflöde; Mjukvarusyntes; ForSyDe; ForSyDe IO;

   Abstract : The implementation of embedded software applications is a complex process. The complexity arises from the intense time-to-market pressures; power and memory constraints. To deal with this complexity, an idea is to automatically construct the applications based on the high-level abstraction model. READ MORE