Results 21 to 30 of about 7,723,963 (248)
Dynamic Typing with Dependent Types [PDF]
, 2006 Dependent type systems are promising tools programmers can use to increase the reliability and security of their programs. Unfortunately, dependently-typed programming languages require programmers to annotate their programs with many typing specifications to help guide the type checker.
Xinming Ou +3 more
openaire +1 more source
Type-level programming with match types [PDF]
Proceedings of the ACM on Programming Languages, 2022 Type-level programming is becoming more and more popular in the realm of functional programming. However, the combination of type-level programming and subtyping remains largely unexplored in practical programming languages. This paper presents match types , a type-level equivalent of pattern matching.
Olivier Blanvillain +3 more
openaire +1 more source
INTEGRATED REPORTING AS A MODERN TYPE OF REPORTING FOR BUSINESS
Модели, системы, сети в экономике, технике, природе и обществе, 2022 Background. Integrated reporting will combine not only indicators that reflect the performance of business, but also indicators that reflect social, personnel, environmental and other aspects of it.
INTEGRATED REPORTING AS A MODERN TYPE OF REPORTING FOR BUSINESS
doaj +1 more source
Type Theory with Opposite Types: A Paraconsistent Type Theory
Logic Journal of the IGPL, 2021 Abstract A version of intuitionistic type theory is extended with opposite types, allowing a different formalization of negation and obtaining a paraconsistent type theory ($\textsf{PTT} $). The rules for opposite types in $\textsf{PTT} $ are based on the rules of the so-called constructible falsity.
Juan Carlos Agudelo Agudelo +1 more
openaire +1 more source
MicroorganismsGram-stain-positive, endospore-producing, mesophilic and rod-shaped strain O16T was isolated from a copper mine’s soil and characterized using a polyphasic taxonomic approach.
Himani Darangwal +5 more
doaj +1 more source
"DARI-ANASTASIA-OLGA-THE RESURRECTED": THE IMAGE OF "IVAN SHMELEV'S GIRL" [PDF]
Проблемы исторической поэтики, 2013 The attempts to build the typology of Shmelev's female images have been repeatedly made by researchers. However, we think that the author in his works and correspondence, relying on classic literature and questioning it at the same time, shapes his own ...
Evgeniya Alexandrovna Korshunova
doaj +1 more source
A case of thymoma with type A and micronodular thymoma with lymphoid stroma elements
Human Pathology: Case Reports, 2021 Here we present a case of a 75-year-old man with an incidentally discovered anterior mediastinal mass, which on resection showed histologic features of both type A and micronodular thymoma with lymphoid stroma (MNT). MNT is a rare variant of thymoma with
Clayton E. Kibler +4 more
doaj +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Pediatric gastroenteropancreatic neuroendocrine neoplasms (GEP‐NENs) are extremely rare and clinically heterogeneous. Management has largely been extrapolated from adult practice. This European Standard Clinical Practice Guideline (ESCP), developed by the EXPeRT network in collaboration with adult NEN experts, provides (adult) evidence ...
Michaela Kuhlen +23 more
wiley +1 more source
On the identity type as the type of computational paths [PDF]
Logic Journal of the IGPL, 2017 We introduce a new way of formalizing the intensional identity type based on the fact that a entity known as computational paths can be interpreted as terms of the identity type. Our approach enjoys the fact that our elimination rule is easy to understand and use.
Arthur F. Ramos +2 more
openaire +2 more sources
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Children with sickle cell disease (SCD) face multiple acute and chronic medical complications that may impact their quality of life as reported by patients themselves. Health‐related social needs (HRSNs), such as food and housing insecurity, are common in people with SCD, but the association between HRSNs and patient‐reported ...
Sarah J. Marks +5 more
wiley +1 more source