Results 11 to 20 of about 4,835,960 (268)

Typing unmarshalling without marshalling types [PDF]

Proceedings of the 17th ACM SIGPLAN international conference on Functional programming, 2012
Unmarshalling primitives in statically typed language require, in order to preserve type safety, to dynamically verify the compatibility between the incoming values and the statically expected type. In the context of programming languages based on parametric polymorphism and uniform data representation, we propose a relation of compatibility between ...
Henry, Grégoire, Mauny, Michel, Chailloux, Emmanuel, Manoury, Pascal   +3 more
openaire   +1 more source

Type Reconstruction for Type Classes [PDF]

Journal of Functional Programming, 1995
AbstractWe study the type inference problem for a system with type classes as in the functional programming language Haskell. Type classes are an extension of ML-style polymorphism with overloading. We generalize Milner's work on polymorphism by introducing a separate context constraining the type variables in a typing judgement.
Nipkow, Tobias, Prehofer, Christian
openaire   +2 more sources

Incidence of Synchronous Multiple Primary Melanoma in Patients with Solitary Melanoma: a Prospective Comparative Study

Креативная хирургия и онкология, 2021
Background. Malignant melanoma is steadily exaggerating over the recent decades. Nonetheless, improved systemic therapies have substantially increased life expectancy in patients with a locally advanced or disseminated disease.
V. V. Egorenkov, F. V. Moiseenko, N. M. Volkov, M. S. Molchanov, M. S. Ravkina, N. Kh. Abduloeva, A. V. Linets, V. R. Khairutdinov, M. S. Aksenov, V. M. Moiseyenko   +9 more
doaj   +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, A. I. Novikov, F. V. Moiseenko, N. M. Volkov, E. O. Stepanova, E. V. Artemeva, N. H. Abduloeva, V. M. Moiseenko   +7 more
doaj   +1 more source

Squamous cell carcinoma of penis in patient with incipient neurosyphilis

Vestnik Dermatologii i Venerologii, 2017
Squamous cell carcinoma of the skin (SSCC) is one of the most common malignant skin tumors. Syphilis is a sexually transmitted disease caused by Treponema pallidum, with human beings as the only host.
D. V. Zaslavsky, Y. S. Egorova, I. N. Chuprov, A. B. Fedorchenko, G. L. Mareha, M. N. Fomenko, Y. Y. Gurkovskaya, S. I. Parxomenko, E. A. Timoshchuk, L. I. Kozlova, A. A. Sidikov   +10 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, Mikhail V. Bychinin, Irina A. Mandel, Sergey A. Andreichenko, Andrey I. Minets, Nadezhda A. Kolyshkina, Aleksandr V. Troitsky   +6 more
doaj   +1 more source

Type-Indexed Data Types

Science of Computer Programming, 2002
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Hinze, R., Jeuring, J.T., Löh, A.
openaire   +8 more sources

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, Vladimir R. Stankevich, Dmitry V. Sazonov, Artur R. Akhmedianov, Aishe A. Keshvedinova, Nikolay A. Solovyev, Yury V. Ivanov, Robert I. Khabazov   +7 more
doaj   +1 more source

Session Types = Intersection Types + Union Types [PDF]

Electronic Proceedings in Theoretical Computer Science, 2011
In Proceedings ITRS 2010, arXiv:1101 ...
openaire   +4 more sources

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, V. Yu. Gritsun, S. V. Deryabin, Yu. V. Ivanov   +3 more
doaj   +1 more source