Advanced search

Found 2 swedish dissertations matching the above criteria.

2. 1. Implementing Functional Generic Programming

   Author : Ulf Norell; Chalmers tekniska högskola; []
   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

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

   Author : Ulf Norell; Chalmers tekniska högskola; []
   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