Sökning: "agda"

Visar resultat 1 - 5 av 12 avhandlingar innehållade ordet agda.

  1. 1. En kvinnoröst i manssamhället : Agda Montelius 1850-1920

    Författare :Sif Bokholm; Historia; []
    Nyckelord :HUMANIORA; HUMANITIES; HUMANIORA; HUMANITIES; Contemporary history circa 1800 to 1914 ; Sociologi; Sociology; women s movement; women s emancipation; political feminism; socio-politics; Biography; philanthropy; Modern historia ca. 1800-1914 ;

    Sammanfattning : The purpose of this thesis is to shed light on the role of female initiative in the accelerating social developments of the late nineteenth century that were eventually to result in Sweden’s modern, democratic welfare state. The method is a biographical study that highlights one of the leading figures of the day, Agda Montelius. LÄS MER

  2. 2. Guarded Recursive Types in Type Theory

    Författare :Andrea Vezzosi; Chalmers University of Technology; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; sized types; induction; coinduction; type theory; totality; guarded types; Agda;

    Sammanfattning : In total functional (co)programming valid programs are guaranteed to always produce (part of) their output in a finite number of steps.Enforcing this property while not sacrificing expressivity has beenchallenging. LÄS MER

  3. 3. Univalent Types, Sets and Multisets : Investigations in dependent type theory

    Författare :Håkon Robbestad Gylterud; Erik Palmgren; Nicola Gambino; Stockholms universitet; []
    Nyckelord :NATURAL SCIENCES; NATURVETENSKAP; type theory; homotopy type theory; dependent types; constructive set theory; databases; formalisation; agda; matematik; Mathematics;

    Sammanfattning : This thesis consists of four papers on type theory and a formalisation of certain results from the two first papers in the Agda language. We cover topics such as models of multisets and sets in Homotopy Type Theory, and explore ideas of using type theory as a language for databases and different ways of expressing dependencies between terms. LÄS MER

  4. 4. MAC, A Verified Information-Flow Control Library

    Författare :Marco Vassena; Chalmers University of Technology; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Haskell; NonInterference; Agda; Functional Programming; Information-Flow Control;

    Sammanfattning : Information Flow Control (IFC) is a language-based security mechanism that tracks where data flows within a program and prevents leakage of sensitive data. IFC has been embedded in pure functional languages such as Haskell, in the form of a library, thus reducing the implementation and maintenance effort and fostering a secure-by-construction programming-model. LÄS MER

  5. 5. Practical Unification for Dependent Type Checking

    Författare :Victor Lopez Juan; Chalmers University of Technology; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Functional Programming; dependent types; type checking; unification;

    Sammanfattning : When using popular dependently-typed languages such as Agda, Idris or Coq to write a proof or a program, some function arguments can be omitted, both to decrease code size and to improve readability.  Type checking such a program involves inferring a combination of these implicit arguments that makes the program type-correct. LÄS MER