Subtyping - PDFSEARCH.IO - Document Search Engine

Subtyping
Results: 99

#	Item
71	, , 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 Programming language theory Subtype polymorphism Type inference Type system Hindley–Milner Variable System F Function Parametric polymorphism Type theory Software engineering Mathematics
72	Eect Systems with Subtyping Yan Mei Tang Pierre Jouvelot Centre de Recherche en Informatique Ecole Des Mines de Paris E-mail: ftang, Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2008-04-10 10:20:12 Data types Programming language theory Formal methods Object-oriented programming Polymorphism Subtype polymorphism Type system Type safety Lambda calculus Type theory Software engineering Computing
73	On Decidability of Nominal Subtyping with Variance Andrew J. Kennedy Benjamin C. Pierce Microsoft Research Cambridge Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2006-12-22 07:18:48 Computing Computer programming Data types Polymorphism Subtype polymorphism Type system Bounded quantification Inheritance Covariance and contravariance Software engineering Object-oriented programming Type theory
74	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 Polymorphism Data types Subtype polymorphism Computing Object-oriented programming Type theory Software engineering
75	Summary L isteria monocytogenes is an important foodborne pathogen that causes a life-threatening disease known as listeriosis. Rapid, sensitive and reproducible methods for the detection and subtyping of L. monocytogen Add to Reading List Source URL: docs.health.vic.gov.au Language: English - Date: 2015-01-22 21:56:26 Listeriaceae Ion source Matrix-assisted laser desorption/ionization Molecular biology Biotechnology Time-of-flight mass spectrometry Listeria monocytogenes Pulsed field gel electrophoresis Biomarker Chemistry Biology Laboratory techniques
76	Internship report: Uniform and non-structural subtyping Stéphane Glondu supervised by Zhendong Su University of California Davis, USA Add to Reading List Source URL: stephane.glondu.net Language: English - Date: 2005-09-18 11:43:14 Mathematics Logic Metaphilosophy Orbifold Μ operator Symbol Structure Model theory
77	ORIGINAL ARTICLE A Replicated Molecular Genetic Basis for Subtyping Antisocial Behavior in Children With Attention-Deficit/Hyperactivity Disorder Avshalom Caspi, PhD; Kate Langley, PhD; Barry Milne, MSc; Terrie E. Moffi Add to Reading List Source URL: archpsyc.jamanetwork.com Language: English Attention-deficit hyperactivity disorder Biology Attention Educational psychology Attention deficit hyperactivity disorder Catechol-O-methyl transferase Conduct disorder Rs4680 Executive dysfunction Psychiatry Mind Childhood psychiatric disorders
78	Topographic Subtyping of Place Named Entities: a linguistic approach Van Tien Nguyen LIUPPA Avenue de l’Université Pau, France [removed] Add to Reading List Source URL: www.agile-online.org Language: English - Date: 2013-05-06 15:36:24 Language Preposition and postposition Verb Noun Ontology Parts of speech Linguistics Grammar
79	HealtH and disease monitoring Development of a luminex®-baseD molecular alternative for classical microbiological subtyping techniques, salmonella phage typing as a case stuDy Add to Reading List Source URL: www.wiv-isp.be Language: English - Date: 2014-07-29 06:53:50 Microbiology Enterobacteria Laboratory techniques Salmonella PrimerPlex Multiplex Assay Serotype Salmonellosis Bacteria Gram-negative bacteria Biology
80	Health and disease monitoring Luminex®, molecular subtyping, multiplex detection Salmonella Add to Reading List Source URL: www.wiv-isp.be Language: English - Date: 2014-07-29 06:55:34 Salmonella Biology Type theory Software engineering Multiplex Subtype polymorphism Computing Enterobacteria Gram-negative bacteria Microbiology