Search for dissertations about: "functional programming types polymorphism type-classes"

Found 2 swedish dissertations containing the words functional programming types polymorphism type-classes.

2. 1. 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

4. 2. Subtypes in Polymorphic Functional Languages

   Author : Thomas Hallgren; Göteborgs universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; type systems; polymorphism; subtypes; functional languages; ML; type inference;

   Abstract : This thesis is about type systems, and in particular type systems that extend or are otherwise close to the type system used in the functional language ML. ML meant a big step forward for type systems used in practical programming languages. READ MORE