A Generic Approach to Flow-Sensitive Polymorphic Effects

Effect systems are lightweight extensions to type systems that can verify a wide range of important properties with modest developer burden. But our general understanding of effect systems is limited primarily to systems where the order of effects is irrelevant. Understanding such systems in terms of a lattice of effects grounds understanding of the essential issues, and provides guidance when designing new effect systems. By contrast, sequential effect systems --- where the order of effects is important --- lack a clear algebraic characterization. We derive an algebraic characterization from the shape of prior concrete sequential effect systems. We present an abstract polymorphic effect system with singleton effects parameterized by an effect quantale --- an algebraic structure with well-defined properties that can model a range of existing order-sensitive effect systems. We define effect quantales, derive useful properties, and show how they cleanly model a variety of known sequential effect systems. We show that effect quantales provide a free, general notion of iterating a sequential effect, and that for systems we consider the derived iteration agrees with the manually designed iteration operators in prior work. Identifying and applying the right algebraic structure led us to subtle insights into the design of order-sensitive effect systems, which provides guidance on non-obvious points of designing order-sensitive effect systems. Effect quantales have clear relationships to the recent category theoretic work on order-sensitive effect systems, but are explained without recourse to category theory. In addition, our derived iteration construct should generalize to these semantic structures, addressing limitations of that work

Continuous Theta Burst Stimulation of the Posterior Medial Frontal Cortex to Experimentally Reduce Ideological Threat Responses.

Decades of behavioral science research have documented functional shifts in attitudes and ideological adherence in response to various challenges, but little work to date has illuminated the neural mechanisms underlying these dynamics. This paper describes how continuous theta burst transcranial magnetic stimulation may be employed to experimentally assess the causal contribution of cortical regions to threat-related ideological shifts. In the example protocol provided here, participants are exposed to a threat prime-an explicit reminder of their own inevitable death and bodily decomposition-following a downregulation of the posterior medial frontal cortex (pMFC) or a sham stimulation. Next, disguised within a series of distracter tasks, participants' relative degree of ideological adherence is assessed-in the present example, with regard to coalitional prejudice and religious belief. Participants for whom the pMFC has been downregulated exhibit less coalitionally biased responses to an immigrant critical of the participants' national in-group, and less conviction in positive afterlife beliefs (i.e., God, angels, and heaven), despite having recently been reminded of death. These results complement prior findings that continuous theta burst stimulation of the pMFC influences social conformity and sharing and illustrate the feasibility of investigating the neural basis of high-level social cognitive shifts using transcranial magnetic stimulation