Polymorphism - PDFSEARCH.IO - Document Search Engine

Polymorphism
Results: 2987

#	Item
481	Sage: Hybrid Checking for Flexible Specifications Jessica Gronski† Kenneth Knowles† † Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:25:18 Type theory Data types Functional languages Object-oriented programming Procedural programming languages Type system Type safety Subtype polymorphism Polymorphism Software engineering Computing Programming language theory
482	Poster reference number: KINGINDIRECT SELECTION ON THE MUTATIONAL LANDSCAPE: AN EVOLVED ROLE FOR THE MUTABILITY OF REPETITIVE DNA? David G. King Department of Anatomy, School of Medicine Add to Reading List Source URL: www.neckers.siu.edu Language: English - Date: 2001-05-08 14:22:59 Population genetics Genetics Genetic load Mutation rate Evolution Mutation Fixation Microsatellite Polymorphism Evolutionary biology Biology Philosophy of biology
483	Java Generics Frequently Asked Questions written and maintained by Angelika Langer Add to Reading List Source URL: www.angelikalanger.com Language: English - Date: 2015-01-17 08:22:53 Computer programming Polymorphism Type theory Cross-platform software Generics in Java Wildcard Mono project Type system C Sharp Computing Software engineering Java programming language
484	A generalization of F with abstraction over retyping functions Julien Cretin supervised by Didier Rémy Gallium, INRIA December 6, 2010 Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2010-12-06 04:29:59 Type theory Lambda calculus Data types Polymorphism Theoretical computer science Subtype polymorphism System F ALGOL 68 Type system Software engineering Mathematics Computing
485	Polymorphic Binding Time Analysis Masters Thesis Christian Mossin DIKU, Department of Computer Science University of Copenhagen Universitetsparken 1, DK-2100 Copenhagen Ø Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:52 Programming language theory Data types Polymorphism Lambda calculus Object-oriented programming Type system Type inference Hindley–Milner Simply typed lambda calculus Software engineering Type theory Computing
486	Microsoft Word - WOdoc Add to Reading List Source URL: www.psas-web.net Language: English - Date: 2014-06-28 10:53:21 Genetics Livestock Agronomy Plant breeding Marker assisted selection Milk Genetic marker Restriction fragment length polymorphism Polymorphism Biology Molecular biology Breeding
487	University of California Los Angeles Robust Service Composition A dissertation submitted in partial satisfaction Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2012-11-23 07:14:37 Programming language semantics Programming language theory Data types Type theory Operational semantics Citizens for Tax Justice Semantics Process calculus Subtype polymorphism Theoretical computer science Logic in computer science Software engineering
488	A Type System for Object Models Jonathan Edwards, Daniel Jackson and Emina Torlak Computer Science & Artiﬁcial Intelligence Laboratory Massachusetts Institute of Technology Cambridge, MA 02139 {jedwards, dnj, emina@mit Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-08-13 19:26:58 Data types Object-oriented programming Model theory Polymorphism Type system Type safety Structure Function overloading C++ classes Software engineering Type theory Computing
489	PDF Document Add to Reading List Source URL: galois.com Language: English - Date: 2014-07-17 17:29:46 Computing Data types Object-oriented programming Procedural programming languages Functional languages Subtype polymorphism ALGOL 68 Type system Polymorphism Software engineering Programming language theory Type theory
490	PDF Document Add to Reading List Source URL: www.biobase-international.com Language: English - Date: 2015-01-13 11:49:05 Population genetics Mutation Human genetics Single-nucleotide polymorphism Point mutation Human genome Polymorphism Genome-wide association study Penetrance Biology Genetics Molecular biology

UPDATE