First Page | Document Content | |
---|---|---|
Date: 2016-08-01 05:50:10Software engineering Declarative programming Data types Computing Type theory Functional programming Object-oriented programming Polymorphism Map Ordinal number Boolean data type CurryHoward correspondence | Type-Based Reasoning and Imprecise Errors Janis Voigtl¨ ander Technische Universit¨ at DresdenAdd to Reading ListSource URL: www.janis-voigtlaender.euDownload Document from Source WebsiteFile Size: 404,47 KBShare Document on Facebook |
Proof-producing reflection for HOL with an application to model polymorphism Benja Fallenstein1 and Ramana Kumar2 1 2DocID: 1xTr9 - View Document | |
Variation data This document explains the variation data present on the EnsemblPlants website. Here the term variation data is used synonymously for Single Nucleotide Polymorphism (SNP) data and small Insertion/DeletionsDocID: 1vqdd - View Document | |
Mapping Polymorphism Ryan Wisnesky (Harvard) Mauricio Hernandez (IBM Almaden) Lucian Popa (IBM Almaden) ICDT 2010DocID: 1vnrC - View Document | |
Mapping Polymorphism∗ Ryan Wisnesky Harvard University IBM Almaden Research CenterDocID: 1v4xB - View Document | |
Levity Polymorphism (extended version) Richard A. Eisenberg Simon Peyton Jones Bryn Mawr CollegeDocID: 1v4eI - View Document |