Results 41 to 50 of about 1,087,555 (135)
Combining Inclusion Polymorphism and Parametric Polymorphism [PDF]
arXiv, 1999 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. To prove this result we first reduce the typability problem to the problem of solving a system of type inequations.
arxiv
Denotational semantics of general store and polymorphism [PDF]
arXiv, 2022 We contribute the first denotational semantics of polymorphic dependent type theory extended by an equational theory for general (higher-order) reference types and recursive types, based on a combination of guarded recursion and impredicative polymorphism; because our model is based on recursively defined semantic worlds, it is compatible with ...
arxiv
Analyzing a single nucleotide polymorphism in schizophrenia: a meta-analysis approach
Neuropsychiatric Disease and Treatment, 2017 Oluwadamilare Falola,1 Victor Chukwudi Osamor,1,2 Marion Adebiyi,1,2 Ezekiel Adebiyi1,2 1Covenant University Bioinformatics Research (CUBRe), 2Department of Computer and Information Sciences, College of Science and Technology, Covenant University, Ota ...
Falola O +3 more
doaj
A Straightforward Method to Judge the Completeness of a Polymorphic Gate Set [PDF]
arXiv, 2017 Polymorphic circuits are a special kind of circuits which possess some different build-in functions and these functions are activated by environment parameters, like light and VDD. Some theories have been proposed to guide the design of polymorphic circuits, including the definition of complete polymorphic gate sets and algorithms to judge the ...
arxiv
Armaghane Danesh Bimonthly Journal, 2016 Aims and objectives: Prostate cancer is a complicated disease that genetics and environmental factors may be playing a promoting role in its progression. Polymorphism of genes such as steroid hormone receptors are having very important role in developing
kh onsory, M Mousavi, E Jalilvand
doaj
Rich structural polymorphism of monolayer C60 from cluster rotation [PDF]
arXiv, 2023 The recent experimental fabrication of monolayer and few-layer C60 polymers paves the way for synthesizing two-dimensional cluster-assembled materials. Compared to atoms with the SO(3) symmetry, clusters as superatoms (e.g., C60) have an additional rotational degree of freedom, greatly enriching the phase spaces of superatom-assembled materials.
arxiv
Polymorphic Higher-order Termination [PDF]
arXiv, 2019 We generalise the termination method of higher-order polynomial interpretations to a setting with impredicative polymorphism. Instead of using weakly monotonic functionals, we interpret terms in a suitable extension of System F-omega. This enables a direct interpretation of rewrite rules which make essential use of impredicative polymorphism.
arxiv
Polymorphic type inference for the relational algebra [PDF]
arXiv, 2001 We give a polymorphic account of the relational algebra. We introduce a formalism of ``type formulas'' specifically tuned for relational algebra expressions, and present an algorithm that computes the ``principal'' type for a given expression.
arxiv
Tractability and learnability arising from algebras with few subpowers
Logic in Computer Science, 2007 A k-edge operation phi on a finite set A is a k + 1-ary operation that satisfies the identities phi (x,x,y,...,y) ap phi(x,y,x,y,...,y) ap y, phi(y,y,y,x,y,...,y) ap phi(y,y,y,y,x,y,...,y) ap ... ap ... phi(y,y,y,...,y,x) ap y.
P. Idziak +4 more
semanticscholar +1 more source
arXiv, 2017 We show "free theorems" in the style of Wadler for polymorphic functions in homotopy type theory as consequences of the abstraction theorem. As an application, it follows that every space defined as a higher inductive type has the same homotopy groups as some type of polymorphic functions defined without univalence or higher inductive types.
arxiv