11,464 Hits in 3.6 sec

Combining Inclusion Polymorphism and Parametric Polymorphism [article]

Sabine Glesner, Karl Stroetmann
1999 arXiv   pre-print
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

Luca Cardelli, Peter Wegner
1985 ACM Computing Surveys  
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]

Rasmus Ejlers Møgelberg
2006 Lecture Notes in Computer Science  
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

R. Morrison, A. Dearle, R. C. H. Connor, A. L. Brown
1991 ACM Transactions on Programming Languages and Systems  
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]

Ron Morrison, Alan Dearle, Richard Connor, Fred Brown
2000 Fully Integrated Data Environments  
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]

Anthony J. H. Simons
1997 OOIS'96  
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

Nadia Tahri-Daizadeh, David-Alexandre Tregouet, Viviane Nicaud, Nicolas Manuel, François Cambien, Laurence Tiret
2003 Genome Research  
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

Ismail Che Noh, Imran Ahmad, Siti Suraiya, Nur Fadhlina Musa, Asma Abdullah Nurul, Abu Bakar Ruzilawati
2021 Biomedicines  
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]

Jeremy Gibbons
2007 Lecture Notes in Computer Science  
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

L. Birkedal, R.E. Møgelberg, R.L. Petersen
2007 Theoretical Computer Science  
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

Fernanda Falcini, Donato Rigante, Laura Masi, Marcello Covino, Francesco Franceschelli, Gigliola Leoncini, Giusyda Tarantino, Marco Matucci Cerinic, Maria Brandi
2013 Italian Journal of Pediatrics  
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

Yuri Leontiev, M. Tamer Özsu, Duane Szafron
2002 ACM Computing Surveys  
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

Seyedeh Zahra Mousavi, Aref Salehi, Eisa Jorjani, Reza Salehi Manzari, Touraj Farazmandfar, Majid Shahbazi
2018 Egyptian Journal of Medical Human Genetics  
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

H. U. Scherer, M. P. M. van der Linden, F. A. S. Kurreeman, G. Stoeken-Rijsbergen, S. l. Cessie, T. W. J. Huizinga, A. H. van der Helm-van Mil, R. E. M. Toes
2009 Annals of the Rheumatic Diseases  
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


Alexey A. Kurylev, Vadim M. Brodyansky, Boris V. Andreev, Alexander O. Kibitov, Oleg V. Limankin, Sergey N. Mosolov
2018 Psychiatria Danubina  
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