Sökning: "Guarded Types"
Hittade 5 avhandlingar innehållade orden Guarded Types.
1. Guarded Recursive Types in Type Theory
Sammanfattning : 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. LÄS MER
2. On Induction, Coinduction and Equality in Martin-Löf and Homotopy Type Theory
Sammanfattning : 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. LÄS MER
3. Enumerative Testing and Embedded Languages
Sammanfattning : 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. LÄS MER
4. Natural Convection Heat Transfer in a Horizontal Thermal Insulation Layer Underlying an Air Layer
Sammanfattning : 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. LÄS MER
5. Novel Thermal Insulation in Future Building and District Heating Applications - Hygrothermal Measurements and Analysis
Sammanfattning : 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. LÄS MER