Polymorphism

Results: 2987



#Item
651Theoretical computer science / Object-oriented programming / Programming language theory / Polymorphism / Subtype polymorphism / International Colloquium on Automata /  Languages and Programming / Type system / E / Type theory / Data types / Software engineering

Joint ICALP-PPDP ’05 Keynote Talk A Gentle Introduction to Semantic Subtyping Giuseppe Castagna Alain Frisch

Add to Reading List

Source URL: www.cduce.org

Language: English - Date: 2013-12-06 16:18:34
652Somniosidae / Chemistry / Polymerase chain reaction / Genomics / DNA sequencing / Somniosus / Pacific sleeper shark / Restriction fragment length polymorphism / IPHC / Biology / Molecular biology / Biochemistry

Homogeneity test for the Pacific sleeper shark (Somniosus pacificus): Project update Stephen Wischniowski International Pacific Halibut Commission Trent Garner Institute of Zoology, Zoological Society of London

Add to Reading List

Source URL: www.iphc.washington.edu

Language: English - Date: 2010-11-11 18:59:47
653Pattern matching / Regular expressions / Procedural programming languages / Data types / Type theory / Subtype polymorphism / TRE / ALGOL 68 / Luca Cardelli / Software engineering / Computing / Computer programming

Greedy regular expression matching Alain Frisch INRIA Luca Cardelli MSRC

Add to Reading List

Source URL: www.cduce.org

Language: English - Date: 2013-12-06 16:18:32
654Software engineering / Theoretical computer science / Lambda calculus / Inference / Type inference / Hindley–Milner / System F / Greek alphabet / Type theory / Type systems / Programming language theory

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
655Data types / Computing / Pointing stick / Subtype polymorphism / Constraint programming / Software engineering / Type theory / Object-oriented programming

Railway English version – SOSI standard 4.0 Railway English version – SOSI standard 4.0

Add to Reading List

Source URL: www.kartverket.no

Language: English - Date: 2013-01-29 08:08:25
656Programming language theory / Subtype polymorphism / Type inference / Type system / Hindley–Milner / Variable / System F / Function / Parametric polymorphism / Type theory / Software engineering / Mathematics

, , 1{48 () c Kluwer Academic Publishers, Boston. Manufactured in The Netherlands. Optimal Representations of Polymorphic Types with Subtyping* ALEXANDER AIKEN

Add to Reading List

Source URL: theory.stanford.edu

Language: English - Date: 2014-08-19 20:08:26
657Laboratory techniques / Genomics / Cell biology / Cell culture / Polymerase chain reaction / Restriction fragment length polymorphism / Biology / Biotechnology / Molecular biology

2D6-2C9-2C19 Website.xls CYP2D6 Genotype2 Genotype2

Add to Reading List

Source URL: wwwn.cdc.gov

Language: English - Date: 2013-02-13 14:52:12
658Symbol / Programming language semantics / Normalisation by evaluation

Parametric polymorphism through run-time sealing or, Theorems for low, low prices! Jacob Matthews1 and Amal Ahmed2 2 1 University of Chicago

Add to Reading List

Source URL: www.ccs.neu.edu

Language: English - Date: 2008-03-19 19:06:29
659Genetics / Population genetics / Classical genetics / Selection / Evolution / Natural selection / Microevolution / Speciation / Polymorphism / Biology / Evolutionary biology / Philosophy of biology

Flegr Biology Direct 2010, 5:2 http://www.biology-direct.com/contentRESEARCH Open Access

Add to Reading List

Source URL: www.biologydirect.com

Language: English
660Population genetics / Microarrays / Genetic genealogy / International HapMap Project / Genome-wide association study / Single-nucleotide polymorphism / Affymetrix / SNP array / Haplotype / Biology / Genetics / Molecular biology

Variability in GWAS analysis: the impact of genotype calling algorithm inconsistencies

Add to Reading List

Source URL: www.nature.com

Language: English - Date: 2010-07-30 10:25:25
UPDATE