Search for dissertations about: "Ana Bove"

Found 2 swedish dissertations containing the words Ana Bove.

  2. 1. General Recursion in Type Theory

    Author : Ana Bove; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES;

    Abstract : This thesis deals with the use of constructive type theory as a programming language. In particular, it presents a method to translate general recursive functional programs into their type-theoretic equivalents. A key notion in functional programming is recursion, which allows that the object being defined refers to itself. READ MORE

  4. 2. Programming in Martin-Löf Type Theory: Unification - A non-trivial Example

    Author : Ana Bove; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES;

    Abstract : .... READ MORE