Search for dissertations about: "guarded types"

Found 5 swedish dissertations containing the words guarded types.

2. 1. Guarded Recursive Types in Type Theory

   Author : Andrea Vezzosi; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; sized types; induction; coinduction; type theory; totality; guarded types; Agda;

   Abstract : 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. READ MORE

4. 2. On Induction, Coinduction and Equality in Martin-Löf and Homotopy Type Theory

   Author : Andrea Vezzosi; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Conversion; Parametricity; Higher Inductive Types; Sized Types; Dependent Types; Type Theory; Guarded Types;

   Abstract : Martin Löf Type Theory, having put computation at the center of logical reasoning, has been shown to be an effective foundation for proof assistants, with applications both in computer science and constructive mathematics. One ambition though is for MLTT to also double as a practical general purpose programming language. READ MORE

5. 3. Enumerative Testing and Embedded Languages

   Author : Jonas Almström Duregård; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES;

   Abstract : This thesis explores rapid experimental development of programming languages, with particular emphasis on effective semi-automatic testing. Our results are actualised in two Haskell libraries: BNFC-meta and Feat.BNFC-meta is an extension of the BNF Converter (BNFC) tool. READ MORE

6. 4. Natural Convection Heat Transfer in a Horizontal Thermal Insulation Layer Underlying an Air Layer

   Author : Mihail Serkitjis; Chalmers tekniska högskola; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; air layer; thermal insulation; composite system; heat transfer; numerical simulation; natural convection; porous layer; measurements; testing equipment;

   Abstract : In the thesis a study is made of the influence of natural convection on heat transfer in a composite system comprising a porous material heated from below and an air space situated above this. The measuring apparatus, a Wind Box which has been designed and developed at the Department of Building Physics is described. READ MORE

7. 5. Novel Thermal Insulation in Future Building and District Heating Applications - Hygrothermal Measurements and Analysis

   Author : Axel Berge; Chalmers tekniska högskola; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; vacuum insulation panels; superinsulation; aerogel blankets; wooden stud walls; thermal conductivity; district heating;

   Abstract : The interest for reducing the energy consumption in society has increased during the last decades due to an increased environmental awareness. One way to decrease the energy losses in the building sector is to improve the thermal insulation of building envelopes and installations and thereby decrease the heat losses. READ MORE