搜索结果: 1-5 共查到“subtyping”相关记录5条 . 查询时间(0.05 秒)
Optimal Representations of Polymorphic Types with Subtyping (Extended Abstract)
Optimal Representations Polymorphic Types Subtyping (Extended Abstract)
font style='font-size:12px;'>
2016/5/24
Many type inference and program analysis systems include notions of subtyping and parametric polymorphism. When used together, these two features induce equivalences that allow types to be simpli ed b...
First-Order Theory of Subtyping Constraints
First-Order Theory Subtyping Constraints
font style='font-size:12px;'>
2016/5/24
We investigate the first-order theory of subtyping constraints.We show that the first-order theory of nonstructural subtyping is undecidable, and we show that in the case where all constructors are ei...
Optimal Representations of Polymorphic Types with Subtyping
types polymorphism subtyping
font style='font-size:12px;'>
2016/5/24
Many type inference and program analysis systems include notions of subtyping and parametric polymorphism. When used together, these two features induce equivalences that allow types to be simpli ed b...
Subtyping with Generics: A Unified Approach
subtyping variance wildcards generics polymorphism programming languages
font style='font-size:12px;'>
2014/12/18
Reusable software increases programmers' productivity and reduces repetitive code and software bugs. Variance is a key programming language mechanism for writing reusable software. Variance is concern...
Subtyping of Listeria monocytogenes Based on Nucleotide Polymorphism in the clpC, inlA, hlyA, and plcA Genes and Rapid Identification of L. monocytogenes Genetically Similar to Clinical Isolates
cycling probe technology Listeria monocytogenes real-time PCR
font style='font-size:12px;'>
2010/2/3
To develop a new method for identification of Listeria monocytogenes genetically similar to clinical isolates, single-nucleotide polymorphism (SNP) typing and multi-locus sequence typing (MLST) of 126...