The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
Filters
Combining Inclusion Polymorphism and Parametric Polymorphism
[article]
1999
arXiv
pre-print
Preserved Fulltext
We show that the question whether a term is typable is decidable for type systems combining inclusion polymorphism with parametric polymorphism provided the type constructors are at most unary. ...
The result of our paper can be used for the design of new type systems that combine both inclusion polymorphism and parametric polymorphism. ...
In this paper, we investigate the problem of checking the well-typedness of terms in the presence of inclusion polymorphism combined with parametric polymorphism. ...
arXiv:cs/9906013v1
fatcat:pgoakgshira7niilr7gnzmvc7m
On understanding types, data abstraction, and polymorphism
1985
ACM Computing Surveys
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2005; you can also visit the original URL.
The file type is application/pdf.
In this way we obtain a simple and precise characterization of a powerful type system that includes abstract data types, parametric polymorphism, and multiple inheritance in a single consistent framework ...
data abstraction and since type inheritance is an important form of polymorphism. ...
Also to Doug McIlroy and Malcolm Atkinson for very thorough reading of the manuscript, and to Rishiyur Nikhil and Albert Meyer for many useful comments. ...
doi:10.1145/6041.6042
fatcat:zt2iadvw4jenziu4xs647gait4
Interpreting Polymorphic FPC into Domain Theoretic Models of Parametric Polymorphism
[chapter]
2006
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
This is the first model of a language with parametric polymorphism, recursive terms and recursive types in a non-linear setting. ...
We show how this model gives rise to a parametric and computationally adequate model of PolyFPC, an extension of FPC with impredicative polymorphism. ...
The model is to the authors knowledge the first model of the combination of parametric polymorphism, recursive terms and recursive types in a nonlinear setting. ...
doi:10.1007/11787006_32
fatcat:2spwgqhc4na6po4ehii2asihwa
An ad hoc approach to the implementation of polymorphism
1991
ACM Transactions on Programming Languages and Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
There are a number of different categories of polymorphic expression: ad hoc, universal -parametric and inclusion; all of which have many advantages in terms of code reuse and software economics. ...
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. ...
Quintin Cutts and Graham Kirby are also thanked for their proof reading and suggestions. ...
doi:10.1145/117009.117017
fatcat:spdxycmrvjbvhprmocb64ovecy
An ad hoc Approach to the Implementation of Polymorphism
[chapter]
2000
Fully Integrated Data Environments
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
There are a number of different categories of polymorphic expression: ad hoc, universal -parametric and inclusion; all of which have many advantages in terms of code reuse and software economics. ...
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. ...
Quintin Cutts and Graham Kirby are also thanked for their proof reading and suggestions. ...
doi:10.1007/978-3-642-59623-0_39
fatcat:eo7mkunr2nc2hbn2umfjto622a
A Theory of Class
[chapter]
1997
OOIS'96
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The theory is general, in that it encompasses many different approaches to type abstraction, such as type constructors, generic parameters, classes, inheritance and polymorphism. ...
The theory has timely implications for emerging OMG standards and future language designs. ...
Cardelli and Wegner (Cardelli and Wegner, 1985) considered that inclusion and parametric polymorphism were distinct forms of universal polymorphism, further distinguished from ad-hoc varieties such as ...
doi:10.1007/978-1-4471-0973-0_4
dblp:conf/oois/Simons96
fatcat:4qbgtblthjbo7awknq6z6eepoa
Automated detection of informative combined effects in genetic association studies of complex traits
2003
Genome Research
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Here, we propose an automated method for the detection of informative combined effects (DICE) among several polymorphisms (and nongenetic covariates) within the framework of association studies. ...
There is a growing body of evidence suggesting that the relationships between gene variability and common disease are more complex than initially thought and require the exploration of the whole polymorphism ...
The algorithm identifies a subset of polymorphisms that are, either individually or in combination, associated with the phenotype. ...
doi:10.1101/gr.1254203
pmid:12902385
pmcid:PMC403788
fatcat:jhiokchfhremtfz5ykadsak2ge
Cytokine (IL-10, IL-6, TNF-α and TGF-β1) Gene Polymorphisms in Chronic Hepatitis C Virus Infection among Malay Male Drug Abusers
2021
Biomedicines
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
However, there were no significant differences in gene polymorphism in interleukin 6 rs1800795, TNF-α rs1800629 and TGF-β1 rs1800471. ...
The objective of this study was to investigate the possible association between chronic hepatitis C virus infection susceptibility and cytokine gene polymorphism for interleukin-10 (IL-10) rs1800896 and ...
For IL-10 and IL-6, the first reaction (wild type) was a combination of IL-10 Primer A and T with IL-6 Primer G, while the second reaction (mutant type) was a combination of IL-10 Primer G and C with IL ...
doi:10.3390/biomedicines9091115
pmid:34572300
fatcat:iuknjmcuvvb5fhyfeusncojixa
Datatype-Generic Programming
[chapter]
2007
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The term means different things to different people: parametric polymorphism, data abstraction, meta-programming, and so on. ...
In these lecture notes, we expand on the definition of datatype-generic programming, and present some examples of datatypegeneric programs. ...
We discuss the relationship between inclusion polymorphism and parametric polymorphism, and between these two and so-called ad-hoc forms of polymorphism, in Section 2.8 below. ...
doi:10.1007/978-3-540-76786-2_1
fatcat:qulchjxhw5hjrau7vjsbhhhtx4
Domain-theoretical models of parametric polymorphism
2007
Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
We present a domain-theoretical model of parametric polymorphism based on admissible per's over a domain-theoretical model of the untyped lambda calculus. ...
Petersen, Parametric domaintheoretical models of polymorphic intuitionistic/linear lambda calculus, in: M. Escardó, A. Jung, M. Mislove (Eds.publication)] . ...
Acknowledgments We gratefully acknowledge discussions with Milly Maietti, Gordon Plotkin, John Reynolds, Pino Rosolini and Alex Simpson. ...
doi:10.1016/j.tcs.2007.06.016
fatcat:sjt4yivqpzbjbnwnzcu7davf3y
Fibroblast growth factor 23 (FGF23) gene polymorphism in children with Kawasaki syndrome (KS) and susceptibility to cardiac abnormalities
2013
Italian Journal of Pediatrics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Results: 28/84 patients carried the FGF23 polymorphism (33.3%) and had higher serum FGF23 levels (p < 0.01). ...
FGF23 polymorphism was significantly associated with CaA compared to wild type FGF23 children (respectively, p = 0.03 and p = 0.05). ...
San Clemente, CA, USA; lower limit of detection: 1.0 pg/ml) at the time of inclusion in the study (i.e. when diagnosis of KS was formulated), in combination with the assessment of different laboratory ...
doi:10.1186/1824-7288-39-69
pmid:24168888
pmcid:PMC3832880
fatcat:2lqei3pqr5fatctyvtt6nb5zzq
On type systems for object-oriented database programming languages
2002
ACM Computing Surveys
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
A uniform and consistent combination of object orientation and database programming, however, is not straightforward. ...
theoretically sound type system that is sufficiently expressive to satisfy the combined needs of object orientation and database programming. ...
Theta The language Theta [Day et al. 1995] combines the expressive power of parametric and inclusion polymorphisms. ...
doi:10.1145/592642.592643
fatcat:mz2t56cf6vcpzisqgsckkgy77a
Association assessment of Interleukine-10 gene polymorphism and its expression status with susceptibility to coronary artery disease in Iran
2018
Egyptian Journal of Medical Human Genetics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Aim: We evaluated the association of the two IL-10 promoter gene polymorphisms with susceptibility to coronary artery disease (CAD) in Iranian population. ...
Moreover, IL-10 promotes the plaque stability by preserving the extracellular matrix and fibrous cap. ...
We thank the Medical Cellular and Molecular Research Centre (MCMRC) for recruiting study subjects. ...
doi:10.1016/j.ejmhg.2017.06.005
fatcat:7g3q5nqj3zf7zlow4elj5scjku
Association of the 6q23 region with the rate of joint destruction in rheumatoid arthritis
2009
Annals of the Rheumatic Diseases
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Plenge for sharing genotyping data on polymorphisms in 6q23. ...
within the framework of the Netherlands Genomics Initiative (NGI); The Netherlands Organization for Health Research and Development. ...
Genotypes were combined for rs1878658 (G), rs10499194 (T) and rs6920220 (A), as the frequency of patients homozygous for the respective minor allele was ≤5% for these single nucleotide polymorphisms ...
doi:10.1136/ard.2008.106161
pmid:19366996
pmcid:PMC2927680
fatcat:gbjinlpr2jddxbbwmk6wxnkrc4
THE COMBINED EFFECT OF CYP2D6 AND DRD2 Taq1A POLYMORPHISMS ON THE ANTIPSYCHOTICS DAILY DOSES AND HOSPITAL STAY DURATION IN SCHIZOPHRENIA INPATIENTS (OBSERVATIONAL NATURALISTIC STUDY)
2018
Psychiatria Danubina
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Subjects and methods: CYP2D6 polymorphisms *3, *4, *5, *6, *1XN and DRD2/ANKK1 Taq1A polymorphisms were genotyped in a cohort of 226 Caucasian schizophrenic inpatients. ...
To assess the correlation between the antipsychotics (AP) mean daily doses, hospital stay duration and CYP2D6, DRD2 polymorphisms in naturalistic study. ...
SUBJECTS AND METHODS The study involved 331 Caucasian schizophrenia (F20.0) inpatients. Inclusion criteria in the study were: age 18-45 years; current AP treatment (monotherapy or combination). ...
doi:10.24869/psyd.2018.157
pmid:29930225
fatcat:dbwlg3e5kzcrdm2epgt2xalcbe
« Previous
Showing results 1 — 15 out of 11,464 results