Search for dissertations about: "Parametricity"

Showing result 1 - 5 of 6 swedish dissertations containing the word Parametricity.

  1. 1. Internalizing Parametricity

    Author : Guilhem Moulin; [2016]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Type structure; Presheaf Model; Parametricity; Lambda Calculus; Polymorphism;

    Abstract : Parametricity results have recently been proved for dependently-typed calculi such as the Calculus of Constructions. However these results are meta theorems, and although the theorems can be stated as internal propositions, they cannot be proved internally. READ MORE

  2. 2. Pure Type Systems with an Internalized Parametricity Theorem

    Author : Guilhem Moulin; [2013]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Type structure; Polymorphism; Lambda Calculus.; Parametricity;

    Abstract : Parametricity results have recently been proved for dependently-typed calculi such as the Calculus of Constructions. However these results are meta theorems, and although they can be stated as internal propositions, they cannot be proved internally. READ MORE

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

    University dissertation from ; Chalmers tekniska högskola; Gothenburg

    Author : Andrea Vezzosi; [2018]
    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

  4. 4. Software Engineering using Typed Functional Programming

    University dissertation from ; Chalmers tekniska högskola; Gothenburg

    Author : Jean-Philippe Bernardy; [2009]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; functional programming types polymorphism type-classes;

    Abstract : This thesis makes three distinct contributions to software engineering, usingtyped functional programming.First, we present a schema to reduce polymorphic properties to an equivalentmonomorphic property, for the purpose of testing. Our proof uses parametricity andproperties of initial algebras. READ MORE

  5. 5. A Theory of Parametric Polymorphism and an Application

    University dissertation from ; Chalmers tekniska högskola; Gothenburg

    Author : Jean-Philippe Bernardy; [2011]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES;

    Abstract : This thesis revisits the well-known notion of parametric polymorphismin the light of modern developments in type-theory. Additionally,applications of parametric polymorphism are also presented.The first part of the thesis presents a theoretical investigation ofthe semantics of parametric polymorphism of and within type-theorieswith dependent types. READ MORE