This paper explores the surprisingly rich design space for the simply typed lambda calculus with casts and a dynamic type. Such a calculus is the target intermediate language of the gradually typed lambda calculus but it is also interesting in its own right. In light of diverse requirements for casts, we develop a modular semantic framework, based on Henglein’s Coercion Calculus, that instantia...

Although the importance of parental support for child sexual abuse victims is well documented, the nature of parental support for victims sexually abused by adolescents is less understood. In this exploratory study, we examine whether parents differ in their levels of blame or doubt for their child when sexually abused by adolescents versus adults. Data included 161 reports of child sexual abus...

OBJECTIVE The present study examined how sex of the child and the adult and age of the child influence perceptions regarding the abusiveness of adult-child sexual interactions and attributions of blame and responsibility to the adult in such incidents. The relationship of gender-role attitudes to perceptions of child sexual abuse was also investigated. METHOD Undergraduate students (N = 404) ...

Brickman et al.'s (Brickman, P., Rabinowitz, V. C., Coates, D., Cohn, E., Kidder, L. (1982). Models of helping and coping. American Psychologist 37:364-384.) models of helping and coping provided a framework by which to compare clinicians' attributions of blame and control among several hypothetical patients. Sixty-one mental health clinicians (MHCs) and addiction clinicians (ACs)--mostly maste...

Many objectives can be achieved (or may be achieved more effectively) only by a group of agents executing a team plan. If a team plan fails, it is often of interest to determine what caused the failure, the degree of responsibility of each agent for the failure, and the degree of blame attached to each agent. We show how team plans can be represented in terms of structural equations, and then a...