Search for dissertations about: "functional programming types polymorphism type-classes"
Found 2 swedish dissertations containing the words functional programming types polymorphism type-classes.
-
1. Software Engineering using Typed Functional Programming
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
-
2. Subtypes in Polymorphic Functional Languages
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