搜索结果: 1-5 共查到“subtyping”相关记录5条 . 查询时间(0.06 秒)
Optimal Representations of Polymorphic Types with Subtyping (Extended Abstract)
Optimal Representations Polymorphic Types Subtyping (Extended Abstract)
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...
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...
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
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
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...