Sökning: "monads"

Visar resultat 1 - 5 av 6 avhandlingar innehållade ordet monads.

1. 1. Interprocedural register allocation for lazy functional languages

   Författare :Urban Boquist; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; laxy functional languages; interprocedural analysis; register allocation; code generation; monads;

   Sammanfattning : .... LÄS MER

3. 2. Categorical Unification

   Författare :María Ángeles Galán García; Patrik Eklund; José Meseguer; Umeå universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Datalogi; Monad compositions; generalised terms; many-valued logic; Datalogi; Computer science; Datalogi; business data processing; administrativ databehandling;

   Sammanfattning : This thesis deals with different aspects towards many-valued unification which have been studied in the scope of category theory. The main motivation of this investigation comes from the fact that in logic programming, classical unification has been identified as the provision of coequalizers in Kleisli categories of term monads. LÄS MER

4. 3. Embedded Languages for Describing and Verifying Hardware

   Författare :Koen Lindström Claessen; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; specification languages; formal verification; synchronous hardware description; functional programming; embedded languages;

   Sammanfattning : Lava is a system for designing, specifying, verifying and implementing hardware. It is embedded in the functional programming language Haskell, which means that hardware descriptions are first-class objects in Haskell. LÄS MER

5. 4. Taxonomy and phylogeny of Randia (Rubiaceae, Gardenieae)

   Författare :Claes G. R. Gustafsson; Göteborgs universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; botany; taxonomy; phylogeny;

   Sammanfattning : The Neotropical genera Rosenbergiodendron and Randia have been studied. Rosenbergiodendron is revised and presented in a separate paper. The other three papers concern Randia, which is partly revised and phylogenetically analysed. Rosenbergiodendron is morphologically distinct and cannot be synonymised under Randia. LÄS MER

7. 5. Obsidian: GPU Kernel Programming in Haskell

   Författare :Joel Bo Svensson; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Haskell; data-parallelism; GPGPU; DSL; CUDA; parallelism; Obsidian; GPU; NVIDIA; Language design; ; EDSL;

   Sammanfattning : Graphics Processing Units (GPUs) are evolving into powerful general purpose computing platforms. At first, GPU performance was driven by the requirements of 3D graphics computer games. To fit this workload, a GPU is a many-core processor suitable for the data-parallel programming paradigm. LÄS MER