Filters








40,662 Hits in 3.8 sec

Polymorphic equality — No tags required [chapter]

Martin Elsman
1998 Lecture Notes in Computer Science  
is no need for tagging or for runtime type analysis.  ...  We show that neither (2) nor (3) are inherent to polymorphic equality by showing that one can compile programs with polymorphic equality into programs without polymorphic equality in such a way that there  ...  If the equality primitive is only ever applied to values of type bool (if rules 24 and 26 are not used), the primitive need not distinguish booleans from values of pair type and no runtime tagging is required  ... 
doi:10.1007/bfb0055516 fatcat:ohbzb7ulzvdxjlxozycly5blw4

A Polymorphic Vampire [chapter]

Ahmed Bhayat, Giles Reger
2020 Lecture Notes in Computer Science  
In this paper we discuss the changes required to enable this and compare the performance of polymorphic Vampire against other polymorphic provers.  ...  We have modified the Vampire theorem prover to support rank-1 polymorphism.  ...  As far as changes to inferences are concerned, no updates were required for inferences that do not work at subterms such as resolution or equality factoring.  ... 
doi:10.1007/978-3-030-51054-1_21 fatcat:oybgk5m3njh2lfb3jv7aqcxdxu

TIL

D. Tarditi, G. Morrisett, P. Cheng, C. Stone, R. Harper, P. Lee
1996 Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation - PLDI '96  
polymorphic equality and garbage collection.  ...  It also supports e cient calling conventions (multiple arguments passed in registers) and tag-free polymorphic, structural equality.  ... 
doi:10.1145/231379.231414 dblp:conf/pldi/TarditiMCSHL96 fatcat:dhvrh6274faitnl6dh4hkc3deq

A Type-Theoretic Interpretation of Standard ML [chapter]

2000 Proof, Language, and Interaction  
Consequently, no management of stamps is required at run-time.  ...  For types that admit equality, a canonical equality operation is generated and passed as required.  ...  ;`longid path(mod):it : con (90) Rule 90: Polymorphic variables. The module mod is the structure of types (and equality f u n ctions) that we \guess" to instantiate the polymorphism.  ... 
doi:10.7551/mitpress/5641.003.0019 fatcat:uyehiwet65hv5i4zfb2uv2zlxi

An ad hoc approach to the implementation of polymorphism

R. Morrison, A. Dearle, R. C. H. Connor, A. L. Brown
1991 ACM Transactions on Programming Languages and Systems  
Furthermore, the method ensures that any extra cost of implementation applies to polymorphic forms only and allows such polymorphic forms to persist over program invocations.  ...  It has proved difficult to provide efficient implementations of polymorphism.  ...  Finally, we know that David Stemple is correctly to be credited with the term text editor polymorphism which we have carefully avoided referencing until now.  ... 
doi:10.1145/117009.117017 fatcat:spdxycmrvjbvhprmocb64ovecy

An ad hoc Approach to the Implementation of Polymorphism [chapter]

Ron Morrison, Alan Dearle, Richard Connor, Fred Brown
2000 Fully Integrated Data Environments  
Furthermore, the method ensures that any extra cost of implementation applies to polymorphic forms only and allows such polymorphic forms to persist over program invocations.  ...  It has proved difficult to provide efficient implementations of polymorphism.  ...  Finally, we know that David Stemple is correctly to be credited with the term text editor polymorphism which we have carefully avoided referencing until now.  ... 
doi:10.1007/978-3-642-59623-0_39 fatcat:eo7mkunr2nc2hbn2umfjto622a

Primer Design for Multiplexed Genotyping [chapter]

Lars Kaderali
2007 Msphere  
Such high-throughput scoring of SNPs requires a high level of primer multiplexing in order to analyze multiple loci in one assay, thus enabling inexpensive and fast polymorphism scoring.  ...  Single-nucleotide polymorphism (SNP) analysis is a powerful tool for mapping and diagnosing disease-related alleles.  ...  Two vertices with equal numbers type the same SNP.  ... 
doi:10.1007/978-1-59745-528-2_13 pmid:17951800 fatcat:meu3gd3cjjbvdnn7wtm6cdeuna

Primer-design for multiplexed genotyping

L. Kaderali
2003 Nucleic Acids Research  
Such high-throughput scoring of SNPs requires a high level of primer multiplexing in order to analyze multiple loci in one assay, thus enabling inexpensive and fast polymorphism scoring.  ...  Single-nucleotide polymorphism (SNP) analysis is a powerful tool for mapping and diagnosing disease-related alleles.  ...  Two vertices with equal numbers type the same SNP.  ... 
doi:10.1093/nar/gkg267 pmid:12626722 pmcid:PMC152869 fatcat:ounwe47xsjaa7n4tnx6d3wkr7a

The Polymorphic Imperative: a Generic Approach to In-place Update

C.B. Jay, H.Y. Lu, Q.T. Nguyen
2004 Electronical Notes in Theoretical Computer Science  
This approach may eliminate many of the space overheads associated with higher-order polymorphic languages.  ...  (equal : X → X → bool) = | int x → ( | int y → primintequal x y) | float x → ( | float y → primfloatequal x y) | un → λy.true | pair x 0 x 1 → ( | pair y 0 y 1 → equal x 0 y 0 && equal x 1 y 1 ) | tag  ...  fresh storage is required.  ... 
doi:10.1016/j.entcs.2003.12.013 fatcat:msqekbi23rewdmus24m2ou227m

Equivalent binding of wild-type lipoprotein lipase (LPL) and S447X-LPL to GPIHBP1, the endothelial cell LPL transporter

Kirsten Turlo, Calvin S. Leung, Jane J. Seo, Chris N. Goulbourne, Oludotun Adeyo, Peter Gin, Constance Voss, André Bensadoun, Loren G. Fong, Stephen G. Young, Anne P. Beigneux
2014 Biochimica et Biophysica Acta - Molecular and Cell Biology of Lipids  
To assess the impact of the S447X polymorphism on LPL binding to GPIHBP1, we compared the ability of internally tagged versions of wild-type LPL (WT-LPL) and S447X-LPL to bind to GPIHBP1 in both cell-based  ...  This assay revealed no differences in the binding of WT-LPL and S447X-LPL to GPIHBP1.  ...  Several reports suggested that the S447X polymorphism might increase or decrease LPL activity [18, 19] , but others have found no significant effect [20] [21] [22] .  ... 
doi:10.1016/j.bbalip.2014.03.011 pmid:24704550 pmcid:PMC4212522 fatcat:a4f4xarwdja5til33cssk5tpsy

Localization of a Type 1 Diabetes Locus in the IL2RA/CD25 Region by Use of Tag Single-Nucleotide Polymorphisms

Adrian Vella, Jason D. Cooper, Christopher E. Lowe, Neil Walker, Sarah Nutland, Barry Widmer, Richard Jones, Susan M. Ring, Wendy McArdle, Marcus E. Pembrey, David P. Strachan, David B. Dunger (+3 others)
2005 American Journal of Human Genetics  
We employed a tag single-nucleotide polymorphism (tag SNP) approach in large T1D sample collections consisting of 7,457 cases and controls and 725 multiplex families.  ...  Tag SNPs were analyzed using a multilocus test to provide a regional test for association.  ...  The test statistic is asymptotically distributed as x 2 , with degrees of freedom equal to the rank of V, which is equal to the number of tag SNPs.  ... 
doi:10.1086/429843 pmid:15776395 pmcid:PMC1199367 fatcat:e2uafdvazjhdjd5xbnjtxxrvuq

Polymorphic type reconstruction for garbage collection without tags

Benjamin Goldberg, Michael Gloger
1992 ACM SIGPLAN Lisp Pointers  
We present a type reconstruction algorithm that can determine the type of any non-garbage object, Unfortunately, the implementation of the tag-free collector for a polymorphically typed language is difficult  ...  Several papers ([Appe189],[Goldberg9 1]) have recently claimed that garbage collection can be performed on untagged data in the presence of ML-style type polymorphism.  ...  No type information about the object is required to nor copy it.  ... 
doi:10.1145/141478.141504 fatcat:axietbgkvnhx5mejnphj64lv5a

Polymorphic type reconstruction for garbage collection without tags

Benjamin Goldberg, Michael Gloger
1992 Proceedings of the 1992 ACM conference on LISP and functional programming - LFP '92  
We present a type reconstruction algorithm that can determine the type of any non-garbage object, Unfortunately, the implementation of the tag-free collector for a polymorphically typed language is difficult  ...  Several papers ([Appe189],[Goldberg9 1]) have recently claimed that garbage collection can be performed on untagged data in the presence of ML-style type polymorphism.  ...  No type information about the object is required to nor copy it.  ... 
doi:10.1145/141471.141504 dblp:conf/lfp/GoldbergG92 fatcat:6xp7pv572jgzdgraxo5fsay25u

Discovery, linkage disequilibrium and association analyses of polymorphisms of the immune complement inhibitor, decay-accelerating factor gene (DAF/CD55) in type 1 diabetes

Hidenori Taniguchi, Christopher E Lowe, Jason D Cooper, Deborah J Smyth, Rebecca Bailey, Sarah Nutland, Barry C Healy, Alex C Lam, Oliver Burren, Neil M Walker, Luc J Smink, Linda S Wicker (+1 others)
2006 BMC Genetics  
Additional resequencing was required, identifying 16 novel polymorphisms. Combining both datasets, a LD mapping approach was adopted to test for association with T1D.  ...  In addition, we assessed the impact of using only HapMap II genotypes for the selection of tag SNPs and, based on this study, found that HapMap II genotypes may require additional SNP discovery for comprehensive  ...  However, when the predictive performance of the two tag SNPs were applied to the combined sequence dataset, they no longer captured the variation within the region to the required level since seven of  ... 
doi:10.1186/1471-2156-7-22 pmid:16626483 pmcid:PMC1479364 fatcat:ttxwppp56jdytgh2pcb54qdymu

Page 291 of Genetics Vol. 170, Issue 1 [page]

2005 Genetics  
For two groups of SNPs in no intergroup LD, genotype information of SNPs in one group is not useful to deduce genotype information of SNPs in the other group, and tag SNPs can be selected independently  ...  Our algorithm could spare 60% of SNPs required for genotyping and limit the imprecision in allele-frequency estimation of nontag SNPs to 2% on average.  ... 
« Previous Showing results 1 — 15 out of 40,662 results