Results 11 to 20 of about 720,719 (268)

Constructor Subtyping [PDF]

, 1999
Constructor subtyping is a form of subtyping in which an inductive type A is viewed as a subtype of another inductive type B if B has more constructors than A. Its (potential) uses include proof assistants and functional programming languages. In this paper, we introduce and study the properties of a simply typed lambda-calculus with record types and ...
Gilles Barthe, Maria João Frade
openaire   +2 more sources

Explicit effect subtyping [PDF]

Journal of Functional Programming, 2020
Abstract As popularity of algebraic effects and handlers increases, so does a demand for their efficient execution. Eff, an ML-like language with native support for handlers, has a subtyping-based effect system on which an effect-aware optimising compiler could be built. Unfortunately, in our experience, implementing optimisations for
Karachalias, Georgios, Pretnar, Matija, Saleh, Amr Hany, Vanderhallen, Stien, Schrijvers, Tom   +4 more
openaire   +5 more sources

Positive subtyping

Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '95, 1995
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Martin Hofmann 0001, Benjamin C. Pierce
openaire   +2 more sources

Clinical and biological relevance of the transcriptomic‐based prostate cancer metastasis subtypes MetA‐C

Molecular Oncology, 2022
To improve treatment of metastatic prostate cancer, the biology of metastases needs to be understood. We recently described three subtypes of prostate cancer bone metastases (MetA‐C), based on differential gene expression.
Elin Thysell, Linda Köhn, Julius Semenas, Helena Järemo, Eva Freyhult, Marie Lundholm, Camilla Thellenberg Karlsson, Jan‐Erik Damber, Anders Widmark, Sead Crnalic, Andreas Josefsson, Karin Welén, Rolf J. A. Nilsson, Anders Bergh, Pernilla Wikström   +14 more
doaj   +1 more source

Genetic characterization and zoonotic potential of Blastocystis from wild animals in Sichuan Wolong National Natural Reserve, Southwest China

Parasite, 2021
Blastocystis is a prevalent eukaryotic parasite that has been identified in a wide range of hosts. Several species are considered potential sources of Blastocystis infection in humans, but little is known about the prevalence of Blastocystis in wild ...
Chen Shanyu, Meng Wanyu, Zhou Ziyao, Deng Lei, Shi Xiaogang, Chai Yijun, Liu Haifeng, Cheng Yuehong, Zhong Zhijun, Fu Hualin, Shen Liuhong, Zhang Kun, He Tingmei, Peng Guangneng   +13 more
doaj   +1 more source

Subtype Universes.

, 2021
We introduce a new concept called a subtype universe, which is a collection of subtypes of a particular type. Amongst other things, subtype universes can model bounded quantification without undecidability. Subtype universes have applications in programming, formalisation and natural language semantics.
Maclean, Harry, Luo, Zhaohui
openaire   +3 more sources

Subtyping and parametricity [PDF]

Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science, 2002
We study the interaction of subtyping and parametricity. We describe a logic for a programming language with parametric polymorphism and subtyping. The logic supports the formal definition and use of relational parametricity. We give two models for it, and compare it with other formal systems for the same language.
Plotkin, Gordon, Abadi, Martin, Cardelli, Luca   +2 more
openaire   +2 more sources

Cluster analysis identifies six clinical subtypes of hidradenitis suppurativa characterised by distinct comorbidities, inflammatory and metabolic profiles, patient‐reported outcomes and treatment patterns

JEADV Clinical Practice, 2023
Background Sub‐classification of hidradenitis suppurativa (HS) may allow for a better understanding of disease aetiology and disease burden, and eventually permit a more personalised treatment for patients.
Astrid‐Helene R. Jørgensen, Nicolai S. Arildsen, Yiqiu Yao, Jesper G. Holm, Valdemar W. Nielsen, Hans C. Ring, Anders Woetmann, Simon F. Thomsen   +7 more
doaj   +1 more source

Subtypes of Persistent Postural-Perceptual Dizziness

Frontiers in Neurology, 2021
Background: Persistent postural-perceptual dizziness (PPPD) is a persistent chronic vestibular syndrome exacerbated by upright posture/walking, active or passive motion, and exposure to moving or complex visual stimuli.
Chihiro Yagi, Yuka Morita, Meiko Kitazawa, Tatsuya Yamagishi, Shinsuke Ohshima, Shuji Izumi, Kuniyuki Takahashi, Arata Horii   +7 more
doaj   +1 more source

Subtyping in OODBs

Journal of Computer and System Sciences, 1995
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Catriel Beeri, Tova Milo
openaire   +2 more sources