Search for dissertations about: "Victor Lopez Juan"

Found 2 swedish dissertations containing the words Victor Lopez Juan.

  2. 1. Practical Heterogeneous Unification for Dependent Type Checking

    Author : Víctor López Juan; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; unification; dependent types; type checking;

    Abstract : Dependent types can specify in detail which inputs to a program are allowed, and how the properties of its output depend on the inputs. A program called the type checker assesses whether a program has a given type, thus detecting situations where the implementation of a program potentially differs from its intended behaviour. READ MORE

  4. 2. Practical Unification for Dependent Type Checking

    Author : Víctor López Juan; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; unification; type checking; dependent types; Functional Programming;

    Abstract : When using popular dependently-typed languages such as Agda, Idris or Coq to write a proof or a program, some function arguments can be omitted, both to decrease code size and to improve readability.  Type checking such a program involves inferring a combination of these implicit arguments that makes the program type-correct. READ MORE