Sökning: "functional programming types polymorphism type-classes"

Hittade 2 avhandlingar innehållade orden functional programming types polymorphism type-classes.

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

  3. 2. Subtypes in Polymorphic Functional Languages

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

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