Compositional Explanation of Types and Algorithmic Debugging of Type Errors

The type systems of most typed functional programming languages are based on the Hindley-Milner type system. A practical problem with these type systems is that it is often hard to understand why a program is not type correct or a function does not have the intended type. We suggest that at the core of this problem is the difficulty of explaining why a given expression has a certain type. The type system is not defined compositionally. We propose to explain types using a variant of the Hindley-Milner type system that defines a compositional type explanation graph of principal typings. We describe how the programmer understands types by interactive navigation through the explanation graph. Furthermore, the explanation graph can be the foundation for algorithmic debugging of type errors, that is, semi-automatic localisation of the source of a type error without even having to understand the type inference steps. We implemented a prototype of a tool to explore the usefulness of the proposed methods

Cancer History and Systemic Anti-Cancer Therapy Independently Predict COVID-19 Mortality: A UK Tertiary Hospital Experience

Background: The COVID-19 pandemic remains a pressing concern to patients with cancer as countries enter the second peak of the pandemic and beyond. It remains unclear whether cancer and its treatment contribute an independent risk for mortality in COVID-19. Methods: We included patients at a London tertiary hospital with laboratory confirmed SARS-CoV-2 infection. All patients with a history of solid cancer were included. Age- and sex-matched patients without cancer were randomly selected. Patients with hematological malignancies were excluded. Results: We identified 94 patients with cancer, matched to 226 patients without cancer. After adjusting for age, ethnicity, and co-morbidities, patients with cancer had increased mortality following COVID-19 (HR 1.57, 95% CI:1.04–2.4, p = 0.03). Increasing age (HR 1.49 every 10 years, 95% CI:1.25–1.8, p < 0.001), South Asian ethnicity (HR 2.92, 95% CI:1.73–4.9, p < 0.001), and cerebrovascular disease (HR 1.93, 95% CI:1.18–3.2, p = 0.008) also predicted mortality. Within the cancer cohort, systemic anti-cancer therapy (SACT) within 60 days of COVID-19 diagnosis was an independent risk factor for mortality (HR 2.30, 95% CI: 1.16–4.6, p = 0.02). Conclusions: Along with known risk factors, cancer and SACT confer an independent risk for mortality following COVID-19. Further studies are needed to understand the socioeconomic influences and pathophysiology of these associations

Expression and Functional Characterization of the Cancer-related Serine Protease, Human Tissue Kallikrein 14

Human tissue kallikrein 14 (KLK14) is a novel extracellular serine protease. Clinical data link KLK14 expression to several diseases, primarily cancer; however, little is known of its (patho)-physiological role. To functionally characterize KLK14, we expressed and purified recombinant KLK14 in mature and proenzyme forms and determined its expression pattern, specificity, regulation, and in vitro substrates. By using our novel immunoassay, the normal and/or diseased skin, breast, prostate, and ovary contained the highest concentration of KLK14. Serum KLK14 levels were significantly elevated in prostate cancer patients compared with healthy males. KLK14 displayed trypsin-like specificity with high selectivity for P1-Arg over Lys. KLK14 activity could be regulated as follows: 1) by autolytic cleavage leading to enzymatic inactivation; 2) by the inhibitory serpins alpha1-antitrypsin, alpha2-antiplasmin, antithrombin III, and alpha1-antichymotrypsin with second order rate constants (k(+2)/Ki) of 49.8, 23.8, 1.48, and 0.224 microM(-1) min(-1), respectively, as well as plasminogen activator inhibitor-1; and 3) by citrate and zinc ions, which exerted stimulatory and inhibitory effects on KLK14 activity, respectively. We also expanded the in vitro target repertoire of KLK14 to include collagens I-IV, fibronectin, laminin, kininogen, fibrinogen, plasminogen, vitronectin, and insulin-like growth factor-binding proteins 2 and 3. Our results indicate that KLK14 may be implicated in several facets of tumor progression, including growth, invasion, and angiogenesis, as well as in arthritic disease via deterioration of cartilage. These findings may have clinical implications for the management of cancer and other disorders in which KLK14 activity is elevated

Systemic anti-cancer therapy and metastatic cancer are independent mortality risk factors during two uk waves of the covid-19 pandemic at university college london hospital

An increased mortality risk was observed in patients with cancer during the first wave of COVID-19. Here, we describe determinants of mortality in patients with solid cancer comparing the first and second waves of COVID-19. A retrospective analysis encompassing two waves of COVID-19 (March–May 2020; December 2020–February 2021) was performed. 207 patients with cancer were matched to 452 patients without cancer. Patient demographics and oncological variables such as cancer subtype, staging and anti-cancer treatment were evaluated for association with COVID-19 mortality. Overall mortality was lower in wave two compared to wave one, HR 0.41 (95% CI: 0.30–0.56). In patients with cancer, mortality was 43.6% in wave one and 15.9% in wave two. In hospitalized patients, after adjusting for age, ethnicity and co-morbidities, a history of cancer was associated with increased mortality in wave one but not wave two. In summary, the second UK wave of COVID-19 is associated with lower mortality in hospitalized patients. A history of solid cancer was not associated with increased mortality despite the dominance of the more transmissible B.1.1.7 SARS-CoV-2 variant. In both waves, metastatic disease and systemic anti-cancer treatment appeared to be independent risk factors for death within the combined cancer cohort

Effect of Protein Kinase Cβ Inhibition on Renal Hemodynamic Function and Urinary Biomarkers in Humans With Type 1 Diabetes: A Pilot Study

OBJECTIVE—The aim of this study was to examine the effect of protein kinase Cβ inhibition with ruboxistaurin on renal hemodynamic function and urinary biomarkers (monocyte chemoattractant protein-1 [MCP-1] and epidermal growth factor) in renin angiotensin system blockade-treated type 1 diabetic subjects

Human kallikrein 6: a new potential serum biomarker for uterine serous papillary cancer.

PURPOSE: The discovery of novel biomarkers might greatly contribute to improve clinical management and outcomes in uterine serous papillary carcinoma (USPC), a highly aggressive variant of endometrial cancer. EXPERIMENTAL DESIGN: Human kallikrein 6 (hK6) gene expression levels were evaluated in 29 snap-frozen endometrial biopsies, including 13 USPC, 13 endometrioid carcinomas, and 3 normal endometrial cells by real-time PCR. Secretion of hK6 protein by 14 tumor cultures, including 3 USPC, 3 endometrioid carcinoma, 5 ovarian serous papillary carcinoma, and 3 cervical cancers, was measured using a sensitive ELISA. Finally, hK6 concentration in 79 serum and plasma samples from 22 healthy women, 20 women with benign diseases, 20 women with endometrioid carcinoma, and 17 USPC patients was studied. RESULTS: hK6 gene expression levels were significantly higher in USPC when compared with endometrioid carcinoma (mean copy number by real-time PCR, 1,927 versus 239, USPC versus endometrioid carcinoma; P < 0.01). In vitro hK6 secretion was detected in all primary USPC cell lines tested (mean, 11.5 microg/L) and the secretion levels were similar to those found in primary ovarian serous papillary carcinoma cultures (mean, 9.6 microg/L). In contrast, no hK6 secretion was detectable in primary endometrioid carcinoma and cervical cancer cultures. hK6 serum and plasma concentrations (mean +/- SE) among normal healthy females (2.7 +/- 0.2 microg/L), patients with benign diseases (2.4 +/- 0.2 microg/L), and patients with endometrioid carcinoma (2.6 +/- 0.2 microg/L) were not significantly different. In contrast, serum and plasma hK6 values in USPC patients (6.1 +/- 1.1) were significantly higher than those in the noncancer group (P = 0.006), benign group (P = 0.003), and endometrioid carcinoma patients (P = 0.005). CONCLUSIONS: hK6 is highly expressed in USPC and is released in the plasma and serum of USPC patients. hK6 may represent a novel biomarker for USPC for monitoring early disease recurrence and response to therapy

Higher expression of human kallikrein 10 in breast cancer tissue predicts tamoxifen resistance

The human tissue kallikreins are secreted serine proteases, encoded by a group of homologous genes clustered in tandem on chromosome 19q13.3-4. Human kallikrein 6 and human kallikrein 10 are two new members of this family. Recently, we developed highly sensitive and specific immunofluorometric assays for human kallikrein 6 and human kallikrein 10, which allow for their quantification in tissue extracts and biological fluids. Both human kallikrein 6 and human kallikrein 10 are found to be down-regulated in breast cancer cell lines, suggesting that they may be involved in breast cancer pathogenesis and progression. In this study, we investigated the potential value of human kallikrein 6 and human kallikrein 10 as prognostic and predictive factors in breast cancer. We quantified human kallikrein 6 and human kallikrein 10 protein levels in 749 breast tumour cytosolic extracts and correlated this data with various clinicopathological variables and patient outcomes. Human kallikrein 6 and human kallikrein 10 are positively correlated with each other. Higher human kallikrein 6 and human kallikrein 10 protein levels are associated with younger age, pre-menopausal, status and tumours which are negative for oestrogen and progesterone receptors. No correlation was found between human kallikrein 6 and human kallikrein 10 levels and tumour size, grade, and nodal status. Survival analysis showed that neither human kallikrein 6 nor human kallikrein 10 are related to the rate of relapse-free and overall survival. In the analysis with respect to response to tamoxifen therapy, although human kallikrein 6 levels were not associated with tamoxifen responsiveness, higher levels of human kallikrein 10 were significantly associated with a poor response rate. This association remained significant in the multivariate analysis. Furthermore, higher human kallikrein 10 levels were significantly related with a short progression-free and post-relapse overall survival after start of tamoxifen treatment for advanced disease. Taken together, our results suggest that although human kallikrein 6 and human kallikrein 10 are not prognostic markers for breast cancer, human kallikrein 10 is an independent predictive marker for response of tamoxifen therapy

Specialist palliative and end-of-life care for patients with cancer and SARS-CoV-2 infection: a European perspective

Background: Specialist palliative care team (SPCT) involvement has been shown to improve symptom control and end-of-life care for patients with cancer, but little is known as to how these have been impacted by the COVID-19 pandemic. Here, we report SPCT involvement during the first wave of the pandemic and compare outcomes for patients with cancer who received and did not receive SPCT input from multiple European cancer centres. Methods: From the OnCovid repository (N = 1318), we analysed cancer patients aged ⩾18 diagnosed with COVID-19 between 26 February and 22 June 2020 who had complete specialist palliative care team data (SPCT+ referred; SPCT− not referred). Results: Of 555 eligible patients, 317 were male (57.1%), with a median age of 70 years (IQR 20). At COVID-19 diagnosis, 44.7% were on anti-cancer therapy and 53.3% had ⩾1 co-morbidity. Two hundred and six patients received SPCT input for symptom control (80.1%), psychological support (54.4%) and/or advance care planning (51%). SPCT+ patients had more ‘Do not attempt cardio-pulmonary resuscitation’ orders completed prior to (12.6% versus 3.7%) and during admission (50% versus 22.1%, p < 0.001), with more SPCT+ patients deemed suitable for treatment escalation (50% versus 22.1%, p < 0.001). SPCT involvement was associated with higher discharge rates from hospital for end-of-life care (9.7% versus 0%, p < 0.001). End-of-life anticipatory prescribing was higher in SPCT+ patients, with opioids (96.3% versus 47.1%) and benzodiazepines (82.9% versus 41.2%) being used frequently for symptom control. Conclusion: SPCT referral facilitated symptom control, emergency care and discharge planning, as well as high rates of referral for psychological support than previously reported. Our study highlighted the critical need of SPCTs for patients with cancer during the pandemic and should inform service planning for this population

Outcomes of the SARS-CoV-2 omicron (B.1.1.529) variant outbreak among vaccinated and unvaccinated patients with cancer in Europe: results from the retrospective, multicentre, OnCovid registry study

BACKGROUND: The omicron (B.1.1.529) variant of SARS-CoV-2 is highly transmissible and escapes vaccine-induced immunity. We aimed to describe outcomes due to COVID-19 during the omicron outbreak compared with the prevaccination period and alpha (B.1.1.7) and delta (B.1.617.2) waves in patients with cancer in Europe. METHODS: In this retrospective analysis of the multicentre OnCovid Registry study, we recruited patients aged 18 years or older with laboratory-confirmed diagnosis of SARS-CoV-2, who had a history of solid or haematological malignancy that was either active or in remission. Patient were recruited from 37 oncology centres from UK, Italy, Spain, France, Belgium, and Germany. Participants were followed up from COVID-19 diagnosis until death or loss to follow-up, while being treated as per standard of care. For this analysis, we excluded data from centres that did not actively enter new data after March 1, 2021 (in France, Germany, and Belgium). We compared measures of COVID-19 morbidity, which were complications from COVID-19, hospitalisation due to COVID-19, and requirement of supplemental oxygen and COVID-19-specific therapies, and COVID-19 mortality across three time periods designated as the prevaccination (Feb 27 to Nov 30, 2020), alpha-delta (Dec 1, 2020, to Dec 14, 2021), and omicron (Dec 15, 2021, to Jan 31, 2022) phases. We assessed all-cause case-fatality rates at 14 days and 28 days after diagnosis of COVID-19 overall and in unvaccinated and fully vaccinated patients and in those who received a booster dose, after adjusting for country of origin, sex, age, comorbidities, tumour type, stage, and status, and receipt of systemic anti-cancer therapy. This study is registered with ClinicalTrials.gov, NCT04393974, and is ongoing. FINDINGS: As of Feb 4, 2022 (database lock), the registry included 3820 patients who had been diagnosed with COVID-19 between Feb 27, 2020, and Jan 31, 2022. 3473 patients were eligible for inclusion (1640 [47·4%] were women and 1822 [52·6%] were men, with a median age of 68 years [IQR 57–77]). 2033 (58·5%) of 3473 were diagnosed during the prevaccination phase, 1075 (31·0%) during the alpha-delta phase, and 365 (10·5%) during the omicron phase. Among patients diagnosed during the omicron phase, 113 (33·3%) of 339 were fully vaccinated and 165 (48·7%) were boosted, whereas among those diagnosed during the alpha-delta phase, 152 (16·6%) of 915 were fully vaccinated and 21 (2·3%) were boosted. Compared with patients diagnosed during the prevaccination period, those who were diagnosed during the omicron phase had lower case-fatality rates at 14 days (adjusted odds ratio [OR] 0·32 [95% CI 0·19–0·61) and 28 days (0·34 [0·16–0·79]), complications due to COVID-19 (0·26 [0·17–0·46]), and hospitalisation due to COVID-19 (0·17 [0·09–0·32]), and had less requirements for COVID-19-specific therapy (0·22 [0·15–0·34]) and oxygen therapy (0·24 [0·14–0·43]) than did those diagnosed during the alpha-delta phase. Unvaccinated patients diagnosed during the omicron phase had similar crude case-fatality rates at 14 days (ten [25%] of 40 patients vs 114 [17%] of 656) and at 28 days (11 [27%] of 40 vs 184 [28%] of 656) and similar rates of hospitalisation due to COVID-19 (18 [43%] of 42 vs 266 [41%] of 652) and complications from COVID-19 (13 [31%] of 42 vs 237 [36%] of 659) as those diagnosed during the alpha-delta phase. INTERPRETATION: Despite time-dependent improvements in outcomes reported in the omicron phase compared with the earlier phases of the pandemic, patients with cancer remain highly susceptible to SARS-CoV-2 if they are not vaccinated against SARS-CoV-2. Our findings support universal vaccination of patients with cancer as a protective measure against morbidity and mortality from COVID-19. FUNDING: National Institute for Health and Care Research Imperial Biomedical Research Centre and the Cancer Treatment and Research Trust