Results 11 to 20 of about 9,195,846 (282)
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.
Ghani, Neil +2 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
Type Reconstruction for Type Classes [PDF]
Journal of Functional Programming, 1995 Abstract We 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 ...
Tobias Nipkow, Christian Prehofer
openaire +3 more sources
, 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
Science of Computer Programming, 2002 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Ralf Hinze, Johan Jeuring, Andres Löh
openaire +8 more sources
Theoretical Computer Science, 2009 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Caires, Luis, Torres Vieira, Hugo
openaire +4 more sources
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
Type inference with constrained types
Theory and Practice of Object Systems, 1999 In this paper we present a general framework HM(X) for Hindley/Milner style type systems with constraints, analogous to the CLP(X) framework in constrained logic programming. We show that the type system is sound with respect to a standard untyped compositional semantics. We present sufficient conditions on the constraint domain X so that the principal
Odersky, Martin +2 more
openaire +4 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 +7 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