Polymorphism

Results: 2987



#Item
921Lambda calculus / Type theory / Functional programming / Dependently typed programming / Models of computation / System F / Higher-order abstract syntax / Church encoding / Catamorphism / Declarative programming / Software engineering / Mathematics

Boxes Go Bananas: Encoding Higher-Order Abstract Syntax with Parametric Polymorphism Geoffrey Washburn Stephanie Weirich

Add to Reading List

Source URL: www.seas.upenn.edu

Language: English - Date: 2014-07-10 05:49:28
922Polymorphism / Data types / Subtype polymorphism / Computing / Object-oriented programming / Type theory / Software engineering

Semantic Subtyping for Session Types Luca Padovani Dipartimento di Informatica, Università di Torino BTW’11

Add to Reading List

Source URL: www.dcs.gla.ac.uk

Language: English - Date: 2011-05-03 07:43:14
923DNA / Biotechnology / SNP genotyping / Genotyping / Restriction fragment length polymorphism / Single-nucleotide polymorphism / Genotype / Melting curve analysis / High Resolution Melt / Biology / Molecular biology / Genetics

Microsoft Word - SAMG tech note final draft.doc

Add to Reading List

Source URL: biofiredefense.com

Language: English - Date: 2014-01-15 13:17:44
924Genome-wide association study / Copy-number variation / Single-nucleotide polymorphism / Human genetic variation / Structural variation / Quantitative trait locus / Twin study / Human genome / Human leukocyte antigen / Biology / Genetics / Philosophy of biology

Fransen et al. Genome Medicine 2011, 3:13 http://genomemedicine.com/contentREVIEW The quest for genetic risk factors for Crohn’s

Add to Reading List

Source URL: genomemedicine.com

Language: English
925Bioinformatics / Genetic mapping / American atheists / DNA / Molecular biology / Human genome / Single-nucleotide polymorphism / Craig Venter / Genome / Genetics / Biology / Genomics

PERS PE C T IV E The Genetic Privacy of Presidential Candidates The Genetic Privacy of Presidential Candidates Robert C. Green, M.D., M.P.H., and George J. Annas, J.D., M.P.H.

Add to Reading List

Source URL: www.genomes2people.org

Language: English - Date: 2014-10-31 18:54:27
926Cuisine of the Southern United States / Jamaican cuisine / Philippine cuisine / Sweet potato / Tubers / Heritability / Plant breeding / Evolution / Polymorphism / Biology / Food and drink / Genetics

DOC Document

Add to Reading List

Source URL: sweetpotatoknowledge.org

Language: English - Date: 2013-04-19 11:54:41
927Compiler construction / Computer memory / Control flow graph / Data-flow analysis / C dynamic memory allocation / Data buffer / Call stack / ACT-R / Pointer / Computing / Software engineering / Computer programming

HI-CFG: Construction by Binary Analysis, and Application to Attack Polymorphism Dan Caselden1 , Alex Bazhanyuk2 , Mathias Payer3 , Stephen McCamant4 , and Dawn Song3 1

Add to Reading List

Source URL: bitblaze.cs.berkeley.edu

Language: English - Date: 2013-06-27 15:30:02
928Mimicry / Polymorphism / Biomass

Supplement of Geosci. Model Dev. Discuss., 8, 2011–2052, 2015 http://www.geosci-model-dev-discuss.net[removed]doi:[removed]gmdd[removed]supplement © Author(s[removed]CC Attribution 3.0 License. Supplement of

Add to Reading List

Source URL: www.geosci-model-dev-discuss.net

Language: English - Date: 2015-02-25 09:27:29
929Object-oriented programming / Modula-3 / Modula-2+ / Modula-2 / Abstraction / Go / Subtype polymorphism / Jim Horning / Interface / Computing / Software engineering / Computer programming

113 Some Useful Modula-3 Interfaces Jim Horning, Bill Kalsow, Paul McJones, Greg Nelson

Add to Reading List

Source URL: www.eah-jena.de

Language: English - Date: 2007-10-15 12:28:52
930Molecular biology / Applied genetics / Genomics / DNA profiling / Short tandem repeat / Variable number tandem repeat / Human genome / Restriction fragment length polymorphism / Parental testing / Biology / Genetics / DNA

Genetic Testing—Paternity and Forensic Use Fact Sheet 22 Important points The chance that two unrelated people have an identical total DNA gene sequence is at least 1 in 6 million The closer two people are related to e

Add to Reading List

Source URL: www.genetics.edu.au

Language: English
UPDATE