Advanced search

Showing result 1 - 5 of 27 swedish dissertations matching the above criteria.

  2. 1. Guarded Recursive Types in Type Theory

    Author : Andrea Vezzosi; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; sized types; induction; coinduction; type theory; totality; guarded types; Agda;

    Abstract : In total functional (co)programming valid programs are guaranteed to always produce (part of) their output in a finite number of steps.Enforcing this property while not sacrificing expressivity has beenchallenging. READ MORE

  4. 2. General Recursion in Type Theory

    Author : Ana Bove; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES;

    Abstract : This thesis deals with the use of constructive type theory as a programming language. In particular, it presents a method to translate general recursive functional programs into their type-theoretic equivalents. A key notion in functional programming is recursion, which allows that the object being defined refers to itself. READ MORE

  5. 3. An inquiry into Minimalist phrase structure

    Author : Jonathan White; Högskolan Dalarna; []
    Keywords : phrase structure; syntax; syntactic theory; the Minimalist program; result clauses; circumstance adjuncts;

    Abstract : This thesis takes as its starting point the proposal in Kayne (1994) that all syntactic structures are underlyingly spec-head-complement, and that they are right-branching. I will investigate this proposal taking data from English degree constructions, namely result clauses and comparatives. READ MORE

  6. 4. A parametric grammar of Seediq

    Author : Arthur Holmer; Allmän språkvetenskap; []
    Keywords : HUMANIORA; HUMANITIES; Austronesian; Atayalic; Formosan; Seediq; Sediq; subject-focus; Taiwan; Linguistics; Lingvistik; template; autosegmental phonology; morphophonology; markedness; morphology; word order; parametric variation; Case-theory; syntax; GB theory; voice; agreement; parameters;

    Abstract : Seediq is an Austronesian language spoken in Taiwan. It has several characteristics which are typologically unusual but typical for Austronesian languages. VOS word order, subject-focus (i.e. READ MORE

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