Search for dissertations about: "Jean-philippe Bernardy"

Found 2 swedish dissertations containing the words Jean-philippe Bernardy.

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

   Author : Jean-Philippe Bernardy; Chalmers tekniska högskola; []
   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

4. 2. Software Engineering using Typed Functional Programming

   Author : Jean-Philippe Bernardy; Chalmers tekniska högskola; []
   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