Polymorphism - PDFSEARCH.IO - Document Search Engine

Polymorphism
Results: 2987

#	Item
731	Intensional Polymorphism in Type-Erasure Semantics∗ Karl Crary Stephanie Weirich Greg Morrisett Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:49:28 Type theory Models of computation Program analysis Type system Lambda calculus Curry–Howard correspondence Denotational semantics Theoretical computer science Computer science Applied mathematics
732	& SWIFT CERTAIN GUN VIOLENCE PROSECUTION PROGRAM American Add to Reading List Source URL: www.ndaa.org Language: English - Date: 2010-07-20 16:06:30 Biometrics Molecular biology Laboratory techniques DNA Polymerase chain reaction DNA profiling Low copy number Fingerprint Restriction fragment length polymorphism Biology Genetics Chemistry
733	FPH: First-class Polymorphism for Haskell Declarative, Constraint-free Type Inference for Impredicative Polymorphism Dimitrios Vytiniotis Stephanie Weirich Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:09 Software engineering Theoretical computer science Lambda calculus Inference Type inference Hindley–Milner System F Greek alphabet Type theory Type systems Programming language theory
734	Typed compilation of objects Christopher League 6 November 2003 Stevens Institute of Technology Add to Reading List Source URL: contrapunctus.net Language: English - Date: 2012-03-13 13:00:13 Object-oriented programming Data types Type theory Cross-platform software Method Objective-C Object Polymorphism C++ Software engineering Computing Computer programming
735	TFF1: The TPTP Typed First-Order Form with Rank-1 Polymorphism Jasmin Christian Blanchette1 and Andrei Paskevich2,3 1 Fakultät für Informatik, Technische Universität München, Germany Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-01-25 16:18:54 Type theory Formal methods Model theory Functional programming Data types Symbol Satisfiability Modulo Theories Hindley–Milner Geoff Sutcliffe Theoretical computer science Mathematics Mathematical logic
736	Under consideration for publication in J. Functional Programming 1 Parametricity, Type Equality and Higher-order Polymorphism Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-07-10 05:47:07 Mathematics Computer science Curry–Howard correspondence Dependently typed programming Philosophy of computer science Parametricity Logic Type theory Proof theory Logic in computer science
737	The Hong Kong College of Pathologists, Incorporated in Hong Kong with Limited Liability Volume 2, Issue 1 March 2007 Add to Reading List Source URL: www.hkcpath.org Language: English - Date: 2007-02-28 04:21:47 X-inactivation Hemolysis Polymorphism Jaundice Glucose-6-phosphate dehydrogenase deficiency Biology Glucose-6-phosphate dehydrogenase
738	Neuropsychopharmacology, 3030–3036 & 2008 Nature Publishing Group All rights reserved 0893-133X/08 $30.00 www.neuropsychopharmacology.org The Catechol-O-Methyl Transferase Val158Met Polymorphism and Experienc Add to Reading List Source URL: www.reproductive-revolution.com Language: English - Date: 2010-06-01 16:05:14 Catechol-O-methyl transferase Neuropsychology Neurotransmitters Rs4680 Catecholamines HIRA Dopaminergic Dopamine Neuropsychopharmacology Biology Mind Medicine
739	Course program 1. Author and compiler of the program: Dr. Vigen Geodakyan, Senior Fellow, A.N. Severtsov’ Institute of Ecology and Evolution, RAS. 2. Course duration - 30 hours. 3. Form of control – testing at th Add to Reading List Source URL: www.geodakian.com Language: English - Date: 2013-03-26 23:50:13 Behavior Biology of gender Evolutionary biology Selection Sexual dimorphism Polymorphism Gender Evolution Natural selection Sex Reproduction Biology
740	S0954579412000648jra Add to Reading List Source URL: data2discovery.org Language: English - Date: 2013-05-22 14:50:26 Genome-wide association study Single-nucleotide polymorphism Psychiatric genetics Endophenotype Twin study Heritability Gene-environment correlation International HapMap Project Structural variation Biology Genetics Philosophy of biology

UPDATE