First Page | Document Content | |
---|---|---|
Date: 2016-11-19 05:24:33Computing 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 AminAdd to Reading ListSource URL: lampwww.epfl.chDownload Document from Source WebsiteFile Size: 310,72 KBShare Document on Facebook |
PLDI: U: Type Assisted Synthesis of Recursive Transformers on Algebraic Datatypes Jeevana Priya Inala MIT Advisor: Armando Solar-LezamaDocID: 1rduU - View Document | |
XQTC: A Static Type-Checker for XQuery Using Backward Type Inference Pierre Genevès Nabil LayaïdaDocID: 1qUUF - View Document | |
XQuery and Static Typing: Tackling the Problem of Backward Axes Pierre Genevès Nils GesbertDocID: 1qIWp - View Document | |
Programovací jazyky F# a OCaml Chapter 4. Generic and recursive types Generic typesDocID: 1qxwI - View Document | |
Polymorphic types Polymorphism, Recursive Data Types, and Trees Consider the good old length function: Björn LisperDocID: 1qf4a - View Document |