Search for dissertations about: "Ulf Norell"

Found 2 swedish dissertations containing the words Ulf Norell.

  1. 1. Implementing Functional Generic Programming

    Author : Ulf Norell; Chalmers University of Technology; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES;

    Abstract : Functional generic programming extends functional programming with the ability to parameterize functions on the structure of a datatype. This allows a programmer to implement certain algorithms once and for all, instead of re-implementing them for each datatype they apply to. READ MORE

  2. 2. Towards a practical programming language based on dependent type theory

    Author : Ulf Norell; Chalmers University of Technology; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; dependent types; type theory; metavariables; programming; pattern matching; type checking;

    Abstract : Dependent type theories have a long history of being used for theorem proving. One aspect of type theory which makes it very powerful as a proof language is that it mixes deduction with computation. READ MORE