Search for dissertations about: "metavariables"

Found 1 swedish dissertation containing the word metavariables.

2. 1. 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