Sökning: "Jean-Philippe Bernardy"

Hittade 2 avhandlingar innehållade orden Jean-Philippe Bernardy.

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

   Författare :Jean-Philippe Bernardy; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

   Sammanfattning : 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. LÄS MER

3. 2. Software Engineering using Typed Functional Programming

   Författare :Jean-Philippe Bernardy; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; functional programming types polymorphism type-classes;

   Sammanfattning : 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. LÄS MER