8 research outputs found

    Emoting infertility online: A qualitative analysis of men's forum posts

    Get PDF
    Relatively little research on infertility focuses exclusively or significantly on men’s experiences, particularly in relation to emotional aspects. Evidence that does exist around male infertility suggests that it is a distressing experience for men, due to stigma, threats to masculinity and the perceived need to suppress emotions, and that men and women experience infertility differently. Using thematic analysis, this article examines the online emoting of men in relation to infertility via forum posts from a men-only infertility discussion board. It was noted that men ‘talked’ to each other about the emotional burdens of infertility, personal coping strategies and relationships with others. Three major themes were identified following in-depth analysis: ‘the emotional rollercoaster’, ‘the tyranny of infertility’ and ‘infertility paranoia’. This article then offers insights into how men experience infertility emotionally, negotiate the emotional challenges involved (especially pertaining to diagnosis, treatment outcomes and their intimate relationships) and how they share (and find value in doing so) with other men the lived experience of infertility

    Recency types for analyzing scripting languages

    No full text
    Abstract. With the current surge of scripting technologies, large programs are being built with dynamically typed languages. As these programs grow in size, semantics-based tools gain importance for detecting programming errors as well as for program understanding. As a basis for such tools, we propose a descriptive type system for an imperative call-by-value lambda calculus with objects. The calculus models essential features of JavaScript, a widely used dynamically-typed language: first-class functions, objects as property maps, and prototypes. Our type system infers precise singleton object types for recently allocated objects. These object types are handled flow-sensitively and change during the objects ’ initialization phase. The notion of recency provides an automatic criterion to subsume these precise object types to summary object types, which are handled flow-insensitively. The criterion applies on a per-object basis. Thus, the type system identifies a generalized initialization phase for each object during which the change of its value is precisely reflected in the change of its type. Unlike with linear types, summary types may refer to singleton types and vice versa. We prove the soundness of the type system and present a constraintbased inference algorithm. An implementation is available on the web.
    corecore