Results 11 to 20 of about 9,407,309 (241)
Refining inductive types [PDF]
, 2012 Dependently typed programming languages allow sophisticated properties of data to be expressed within the type system. Of particular use in dependently typed programming are indexed types that refine data by computationally useful information.
Neil Ghani +5 more
core +4 more sources
Linear Rank Intersection Types [PDF]
, 2023 Non-idempotent intersection types provide quantitative information about typed programs, and have been used to obtain time and space complexity measures. Intersection type systems characterize termination, so restrictions need to be made in order to make
Alves, Sandra +2 more
core +1 more source
, 2021 Types Of Cheekbones who as of now have high cheekbones yet need to decrease their unmistakable quality and distract from them? Per Elizabeth Mott and Byrdie, individuals with high, noticeable cheekbones are bound to have more grounded face shapes like ...
Types Of Cheekbones
core +1 more source
Bladder cancer. A retrospective analysis of the use of vinfluvin in real clinical practice
Исследования и практика в медицине, 2021 Purpose of the study. There is the generalized analysis of administration of vinflunine in real clinical practice in St.Petersburg Clinical Scientific and Practical Center of Specialized medical Care (oncological).Materials and methods.
A. S. Zhabina +7 more
doaj +1 more source
Session Types = Intersection Types + Union Types [PDF]
, 2011 We propose a semantically grounded theory of session types which relies on intersection and union types. We argue that intersection and union types are natural candidates for modeling branching points in session types and we show that the resulting ...
Luca Padovani, Padovani, Luca
core +1 more source
Staging in the treatment of chronic calculous cholecystitis, complicated by choledocholithiasis [PDF]
Клиническая практикаBACKGROUND: Chronic calculous cholecystitis is the most widespread disease in scheduled surgery departments, which in 10–15% of observations is complicated by choledocholithiasis.
Alexander V. Smirnov +7 more
doaj +1 more source
Clinical characteristics of patients admitted to an ICU with COVID-19. Predictors of the severe disease [PDF]
Клиническая практика, 2020 Background. Providing an efficient care to the patients of the most severely affected category ICU patients has become one of the serious problems appearing in the COVID-19 pandemics.
Tatiana V. Klypa +6 more
doaj +1 more source
Features of surgical treatment of the apical right lung cancer
Исследования и практика в медицине, 2022 The tumor of the upper sulcus of the lung is an atypical form of cancer, which is characterized by invasion into the aperture of the chest and mediastinum, which in turn determines the manifestation of the disease of neurological symptoms.Tactical ...
E. A. Epifantsev +3 more
doaj +1 more source
ESOPHAGEAL STENTING FOR MALIGNANT STENOSIS (three-year outcomes)
Вестник хирургии имени И.И. Грекова, 2020 OBJECTIVE of the study was to analyze the main problems and try to find the ways to improve the esophageal stenting for malignant stenosis with regard to our experience.METHODS AND MATERIALS.
A. A. Avanesyan +3 more
doaj +1 more source
LIPIcs, Volume 269, TYPES 2022, Complete Volume
, 2023 LIPIcs, Volume 269, TYPES 2022, Complete ...
Pédrot, Pierre-Marie, Kesner, Delia
core +1 more source