Effects as Sessions, Sessions as Effects

Effect and session type systems are two expressive behavioural type systems. The former is usually developed in the context of the lambda-calculus and its variants, the latter for the ?-calculus. In this paper we explore their relative expressive power. Firstly, we give an embedding from PCF, augmented with a parameterised effect system, into a session-typed pi-calculus (session calculus), showing that session types are powerful enough to express effects. Secondly, we give a reverse embedding, from the session calculus back into PCF, by instantiating PCF with concurrency primitives and its effect system with a session-like effect algebra; effect systems are powerful enough to express sessions. The embedding of session types into an effect system is leveraged to give a new implementation of session types in Haskell, via an effect system encoding. The correctness of this implementation follows from the second embedding result. We also discuss various extensions to our embeddings

Effect of SARS-CoV-2 Infection in Pregnancy on Maternal and Neonatal Outcomes in Africa: An AFREhealth Call for Evidence through Multicountry Research Collaboration

In the African context, there is a paucity of data on SARS-CoV-2 infection and associated COVID-19 in pregnancy. Given the endemicity of infections such as malaria, HIV, and tuberculosis (TB) in sub-Saharan Africa (SSA), it is important to evaluate coinfections with SARS-CoV-2 and their impact on maternal/infant outcomes. Robust research is critically needed to evaluate the effects of the added burden of COVID-19 in pregnancy, to help develop evidence-based policies toward improving maternal and infant outcomes. In this perspective, we briefly review current knowledge on the clinical features of COVID-19 in pregnancy; the risks of preterm birth and cesarean delivery secondary to comorbid severity; the effects of maternal SARS-CoV-2 infection on the fetus/neonate; and in utero mother-to-child SARS-CoV-2 transmission. We further highlight the need to conduct multicountry surveillance as well as retrospective and prospective cohort studies across SSA. This will enable assessments of SARS-CoV-2 burden among pregnant African women and improve the understanding of the spectrum of COVID-19 manifestations in this population, which may be living with or without HIV, TB, and/or other coinfections/comorbidities. In addition, multicountry studies will allow a better understanding of risk factors and outcomes to be compared across countries and subregions. Such an approach will encourage and strengthen much-needed intra-African, south-to-south multidisciplinary and interprofessional research collaborations. The African Forum for Research and Education in Health's COVID-19 Research Working Group has embarked upon such a collaboration across Western, Central, Eastern and Southern Africa

The Function and Organization of Lateral Prefrontal Cortex: A Test of Competing Hypotheses

The present experiment tested three hypotheses regarding the function and organization of lateral prefrontal cortex (PFC). The first account (the information cascade hypothesis) suggests that the anterior-posterior organization of lateral PFC is based on the timing with which cue stimuli reduce uncertainty in the action selection process. The second account (the levels-of-abstraction hypothesis) suggests that the anterior-posterior organization of lateral PFC is based on the degree of abstraction of the task goals. The current study began by investigating these two hypotheses, and identified several areas of lateral PFC that were predicted to be active by both the information cascade and levels-of-abstraction accounts. However, the pattern of activation across experimental conditions was inconsistent with both theoretical accounts. Specifically, an anterior area of mid-dorsolateral PFC exhibited sensitivity to experimental conditions that, according to both accounts, should have selectively engaged only posterior areas of PFC. We therefore investigated a third possible account (the adaptive context maintenance hypothesis) that postulates that both posterior and anterior regions of PFC are reliably engaged in task conditions requiring active maintenance of contextual information, with the temporal dynamics of activity in these regions flexibly tracking the duration of maintenance demands. Activity patterns in lateral PFC were consistent with this third hypothesis: regions across lateral PFC exhibited transient activation when contextual information had to be updated and maintained in a trial-by-trial manner, but sustained activation when contextual information had to be maintained over a series of trials. These findings prompt a reconceptualization of current views regarding the anterior-posterior organization of lateral PFC, but do support other findings regarding the active maintenance role of lateral PFC in sequential working memory paradigms

Neural Mechanisms of Interference Control in Working Memory: Effects of Interference Expectancy and Fluid Intelligence

A critical aspect of executive control is the ability to limit the adverse effects of interference. Previous studies have shown activation of left ventrolateral prefrontal cortex after the onset of interference, suggesting that interference may be resolved in a reactive manner. However, we suggest that interference control may also operate in a proactive manner to prevent effects of interference. The current study investigated the temporal dynamics of interference control by varying two factors - interference expectancy and fluid intelligence (gF) - that could influence whether interference control operates proactively versus reactively.A modified version of the recent negatives task was utilized. Interference expectancy was manipulated across task blocks by changing the proportion of recent negative (interference) trials versus recent positive (facilitation) trials. Furthermore, we explored whether gF affected the tendency to utilize specific interference control mechanisms. When interference expectancy was low, activity in lateral prefrontal cortex replicated prior results showing a reactive control pattern (i.e., interference-sensitivity during probe period). In contrast, when interference expectancy was high, bilateral prefrontal cortex activation was more indicative of proactive control mechanisms (interference-related effects prior to the probe period). Additional results suggested that the proactive control pattern was more evident in high gF individuals, whereas the reactive control pattern was more evident in low gF individuals.The results suggest the presence of two neural mechanisms of interference control, with the differential expression of these mechanisms modulated by both experimental (e.g., expectancy effects) and individual difference (e.g., gF) factors

The Critical Need for Pooled Data on Coronavirus Disease 2019 in African Children: An AFREhealth Call for Action Through Multicountry Research Collaboration

Globally, there are prevailing knowledge gaps in the epidemiology, clinical manifestations, and outcomes of severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2) infection among children and adolescents; and these gaps are especially wide in African countries. The availability of robust age-disaggregated data is a critical first step in improving knowledge on disease burden and manifestations of coronavirus disease 2019 (COVID-19) among children. Furthermore, it is essential to improve understanding of SARS-CoV-2 interactions with comorbidities and coinfections such as human immunodeficiency virus (HIV), tuberculosis, malaria, sickle cell disease, and malnutrition, which are highly prevalent among children in sub-Saharan Africa. The African Forum for Research and Education in Health (AFREhealth) COVID-19 Research Collaboration on Children and Adolescents is conducting studies across Western, Central, Eastern, and Southern Africa to address existing knowledge gaps. This consortium is expected to generate key evidence to inform clinical practice and public health policy-making for COVID-19 while concurrently addressing other major diseases affecting children in African countries

Assessment of Clinical Outcomes Among Children and Adolescents Hospitalized With COVID-19 in 6 Sub-Saharan African Countries

Importance: Little is known about COVID-19 outcomes among children and adolescents in sub-Saharan Africa, where preexisting comorbidities are prevalent. / Objective: To assess the clinical outcomes and factors associated with outcomes among children and adolescents hospitalized with COVID-19 in 6 countries in sub-Saharan Africa. / Design, Setting, and Participants: This cohort study was a retrospective record review of data from 25 hospitals in the Democratic Republic of the Congo, Ghana, Kenya, Nigeria, South Africa, and Uganda from March 1 to December 31, 2020, and included 469 hospitalized patients aged 0 to 19 years with SARS-CoV-2 infection. / Exposures: Age, sex, preexisting comorbidities, and region of residence. / Main Outcomes and Measures: An ordinal primary outcome scale was used comprising 5 categories: (1) hospitalization without oxygen supplementation, (2) hospitalization with oxygen supplementation, (3) ICU admission, (4) invasive mechanical ventilation, and (5) death. The secondary outcome was length of hospital stay. / Results: Among 469 hospitalized children and adolescents, the median age was 5.9 years (IQR, 1.6-11.1 years); 245 patients (52.4%) were male, and 115 (24.5%) had comorbidities. A total of 39 patients (8.3%) were from central Africa, 172 (36.7%) from eastern Africa, 208 (44.3%) from southern Africa, and 50 (10.7%) from western Africa. Eighteen patients had suspected (n = 6) or confirmed (n = 12) multisystem inflammatory syndrome in children. Thirty-nine patients (8.3%) died, including 22 of 69 patients (31.9%) who required intensive care unit admission and 4 of 18 patients (22.2%) with suspected or confirmed multisystem inflammatory syndrome in children. Among 468 patients, 418 (89.3%) were discharged, and 16 (3.4%) remained hospitalized. The likelihood of outcomes with higher vs lower severity among children younger than 1 year expressed as adjusted odds ratio (aOR) was 4.89 (95% CI, 1.44-16.61) times higher than that of adolescents aged 15 to 19 years. The presence of hypertension (aOR, 5.91; 95% CI, 1.89-18.50), chronic lung disease (aOR, 2.97; 95% CI, 1.65-5.37), or a hematological disorder (aOR, 3.10; 95% CI, 1.04-9.24) was associated with severe outcomes. Age younger than 1 year (adjusted subdistribution hazard ratio [asHR], 0.48; 95% CI, 0.27-0.87), the presence of 1 comorbidity (asHR, 0.54; 95% CI, 0.40-0.72), and the presence of 2 or more comorbidities (asHR, 0.26; 95% CI, 0.18-0.38) were associated with reduced rates of hospital discharge. / Conclusions and Relevance: In this cohort study of children and adolescents hospitalized with COVID-19 in sub-Saharan Africa, high rates of morbidity and mortality were observed among infants and patients with noncommunicable disease comorbidities, suggesting that COVID-19 vaccination and therapeutic interventions are needed for young populations in this region