Polymorphism - PDFSEARCH.IO - Document Search Engine

Polymorphism
Results: 2987

#	Item
101	A Simple and General Theoretical Account for Abstract Types Hongwei Xi Boston University Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2009-08-25 14:30:22 Software engineering Computer programming Declarative programming Type theory Functional programming Procedural programming languages Data types Object-oriented programming Monad ALGOL 68 Polymorphism Abstract type
102	Identifying IBD tracts that are tagged by rare variants Gundula Povysil, Sepp Hochreiter Identity by descent (IBD) between two individuals means that their alleles are identical because they were inherited from a shared Add to Reading List Source URL: www.bioinf.jku.at Language: English - Date: 2012-09-20 02:55:51 Biology Computational biology Genetics Sepp Hochreiter PLINK Genetic association Single-nucleotide polymorphism Inflammatory bowel disease
103	Efficient Inference of Haplotypes from Genotypes on a Pedigree Jing Li ∗ Tao Jiang † Abstract Add to Reading List Source URL: engr.case.edu Language: English - Date: 2003-03-19 14:42:22 Genetics Biology Population genetics Classical genetics Genetic genealogy Haplotype Linkage disequilibrium Genetic linkage Single-nucleotide polymorphism International HapMap Project Polymorphism Tag SNP
104	Genotyping of the polymorphism within exon 3 of prolactin gene in various dairy breeds by PCR RFLP (Brief report) Add to Reading List Source URL: www.archanimbreed.com Language: English - Date: 2016-01-06 06:21:04 Biology Genetics Population genetics Molecular biology Biotechnology Polymerase chain reaction Restriction fragment length polymorphism Genotype Vechur Cattle Allele frequency Genotyping Holstein Friesian cattle
105	Making Uniqueness Typing Less Unique Thesis submitted for the degree of Doctor in Philosophy December 14, 2008 Edsko Jacob Jelle de Vries Add to Reading List Source URL: www.edsko.net Language: English - Date: 2016-08-02 06:27:04 Type theory Software engineering Theoretical computer science Mathematical logic Lambda calculus System F Type system Uniqueness type Functional programming Polymorphism Clean
106	Innocent Paulin Ritte Identification and characterization of Markers Linked to Resistance Mofifs against Maize Chlorotic Mottle Virus Infection in Tanzanian Maize Germplasm through Amplified Fragment Length Polymorphism Add to Reading List Source URL: iagri.org Language: English - Date: 2016-02-12 03:17:02 Food and drink Biology Botany Agriculture in Mesoamerica Maize Tropical agriculture Zea Machlomovirus Potyvirus Plant breeding Virus Maize Lethal Necrosis Disease
107	Modelling Unique and Affine Typing using Polymorphism Edsko de Vries Abstract. Uniqueness typing and affine (or linear) typing are dual type systems. Uniqueness gives a guarantee that an term has not been shared, Add to Reading List Source URL: www.edsko.net Language: English - Date: 2016-08-02 06:27:04 Type theory Data types Software engineering Object-oriented programming Computing Polymorphism Functional programming Type system Subtyping Symbol Uniqueness type
108	Embarrassingly Simple Generation of Free Theorems Stefan Mehner and Janis Voigtl¨ander March 26th, 2014 Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:10 Type theory Parametricity Polymorphism Ordinal number Constructible universe Functional programming Proof theory CurryHoward correspondence Net
109	Freshwater Biology, 170–180 Distributional, morphological and genetic consequences of dispersal for temporary pond water mites ANDREW J. BOHONAK,* BRUCE P. SMITH† AND MELISSA THORNTON† Department of Bio Add to Reading List Source URL: www.bio.sdsu.edu Language: English* - Date: 2004-01-19 12:44:42 Evolutionary biology Reproduction Biological evolution Population genetics Genetics Biological dispersal Isolation by distance Genetic distance Acari Polymorphism Human genetic variation Genetic divergence
110	Technische Universität Dresden Fakultät Informatik DIPLOMARBEIT Free Theorems for Sublanguages of Haskell Add to Reading List Source URL: www4.in.tum.de Language: English - Date: 2008-04-14 08:10:31 Type theory Parametricity Type class Haskell Polymorphism Map Lambda calculus Combinatory logic Kind Parametric polymorphism ML Haskell features

UPDATE