Type theory - PDFSEARCH.IO - Document Search Engine

Type theory
Results: 3552

#	Item
991	Release Guide 1 November, 24th, 2010 Release 1 of SHARELIFE Add to Reading List Source URL: www.share-project.org Language: English - Date: 2010-11-23 06:05:46 Type theory Dummy variable Coding Survey of Health Ageing and Retirement in Europe Statistics Mathematics Variables
992	Data model description Prepared by: Gebhard Banko VersionDecember 2014 Add to Reading List Source URL: sia.eionet.europa.eu Language: English - Date: 2015-04-17 11:47:11 Ecological succession Habitats Enumerated type Type theory EXPRESS Enumeration Species distribution Ecosystem Biome Biology Ecology Systems ecology
993	Seacord_book.fm Page 151 Thursday, August 11, 2005 3:10 PM Chapter 5 Add to Reading List Source URL: ptgmedia.pearsoncmg.com Language: English - Date: 2009-06-09 04:05:44 Computer programming Computer arithmetic Primitive types C programming language Type theory Integer Type conversion Signedness Pointer Data types Computing Software engineering
994	C:/Users/jcabot/Documents/My Dropbox/OCLChapter/finalversion/OCLChapter.dvi Add to Reading List Source URL: modeling-languages.com Language: English - Date: 2012-03-21 19:16:58 Object-oriented programming Theoretical computer science ISO standards Data types Type theory Object Constraint Language ECO Domain-specific language EXPRESS Software engineering Unified Modeling Language Computing
995	The Duality of Computation (revision fixing typos and a few errors – JanuaryPierre-Louis Curien Hugo Herbelin Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2010-11-23 12:28:12 Theoretical computer science Logic in computer science Curry–Howard correspondence Dependently typed programming Philosophy of computer science Type theory Natural deduction Lambda calculus Valuation Proof theory Mathematics Mathematical logic
996	PDF Document Add to Reading List Source URL: hitlabnz.org Language: English - Date: 2014-02-20 18:46:39 Computer programming Data types Type theory Method Canvas element Cross-platform software Constructor Tag Algebraic data type Computing Software engineering HTML
997	High-Level Languages for Small Devices: A Case Study Manuel Carro Jose´ F. Morales Henk L. Muller Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2006-10-31 09:05:46 Data types Type theory Programming language implementation Procedural programming languages Computer performance Pointer Compiler optimization Type system C Computing Software engineering Computer programming
998	CoqInE: Translating the Calculus of Inductive Constructions into the λΠ-calculus Modulo Mathieu Boespflug1 and Guillaume Burel2 1 McGill University Montr´eal, Qu´ebec, Canada Add to Reading List Source URL: www.ensiie.fr Language: English - Date: 2015-01-06 05:10:59 Type theory Dependently typed programming Lambda calculus Formal methods Recursion Calculus of constructions Calculus of inductive constructions Coq Dependent type Programming language theory Mathematics Algebra
999	Polymorphic Embedding of DSLs Christian Hofer Klaus Ostermann Tillmann Rendel Adriaan Moors Add to Reading List Source URL: www.mathematik.uni-marburg.de Language: English - Date: 2008-08-04 08:41:32 Logic in computer science Type theory Programming language semantics Functional languages Denotational semantics Domain-specific language Scala Semantics Programming language Computing Software engineering Theoretical computer science
1000	Estimation Preliminary: the Normal distribution Many statistical methods are only valid if we can assume that our data follow a distribution of a particular type, called the Normal distribution. Many naturally occurring Add to Reading List Source URL: www-users.york.ac.uk Language: English - Date: 2006-04-25 11:44:42 Measurement Statistical theory Sampling Standard error Confidence interval Standard deviation Normal distribution Sampling distribution Variance Statistics Statistical inference Data analysis