Type Soundness for DOT (Dependent Object Types) Tiark Rompf Nada Amin

First Page		Document Content
Date: 2016-11-19 05:24:33 Computing Software engineering Computer programming Type theory Data types Functional languages Subroutines Scala Recursive data type Recursion Type system		Type Soundness for DOT (Dependent Object Types) Tiark Rompf Nada Amin Add to Reading List Source URL: lampwww.epfl.ch Download Document from Source Website File Size: 310,72 KB Share Document on Facebook

	PLDI: U: Type Assisted Synthesis of Recursive Transformers on Algebraic Datatypes Jeevana Priya Inala MIT Advisor: Armando Solar-Lezama DocID: 1rduU - View Document
	XQTC: A Static Type-Checker for XQuery Using Backward Type Inference Pierre Genevès Nabil Layaïda DocID: 1qUUF - View Document
	XQuery and Static Typing: Tackling the Problem of Backward Axes Pierre Genevès Nils Gesbert DocID: 1qIWp - View Document
	Programovací jazyky F# a OCaml Chapter 4. Generic and recursive types Generic types DocID: 1qxwI - View Document
	Polymorphic types Polymorphism, Recursive Data Types, and Trees Consider the good old length function: Björn Lisper DocID: 1qf4a - View Document