25 research outputs found

    States and exceptions considered as dual effects

    Full text link
    In this paper we consider the two major computational effects of states and exceptions, from the point of view of diagrammatic logics. We get a surprising result: there exists a symmetry between these two effects, based on the well-known categorical duality between products and coproducts. More precisely, the lookup and update operations for states are respectively dual to the throw and catch operations for exceptions. This symmetry is deeply hidden in the programming languages; in order to unveil it, we start from the monoidal equational logic and we add progressively the logical features which are necessary for dealing with either effect. This approach gives rise to a new point of view on states and exceptions, which bypasses the problems due to the non-algebraicity of handling exceptions

    Resourcing Change: A Grounded Theory Explaining the Process by Which Managers Address Challenges in Their Initiation of Change as Learning at Work

    Get PDF
    This grounded theory study conceptualises an abstract social process of ā€˜resourcing changeā€™, explaining challenges managers face during the initiation of change as their learning in organisations and their responses to them. Both management challenges and their resolutions are theoretically organised on the global-local continuum, reflecting the inter-connected and mutually influencing nature of the social reality. The abstract social process of ā€˜resourcing changeā€™ has general implications beyond the temporal and spatial boundaries of the study ā€“ managers in one UK subsidiary within each of two multinational corporations ā€“ Cooper Standard (UK) and Ricoh (UK), respectively, at the time when this study was conducted. The grounded theory of ā€˜resourcing changeā€™ has made several significant theoretical and methodological contributions. First, the study of learning has been extended to the management population, given their strategic importance in organisations (Easterby-Smith et al., 1998). Second, management learning in organisations is conceptualised as ā€˜initiation of changeā€™ ā€“ a seldom recognised, individual-to-organisation process of change (Quinn, 1996). Learning, as in this study, has been re-connected to accounts of organisational change (Hendry, 1996). A particular emphasis is placed on the initiation stage of change, not on any other stages (e.g. implementation). Third, from a process-relational perspective of organising and managing (Watson, 2002), this grounded theory study of ā€˜resourcing changeā€™ has identified the contradictions in many processual-oriented research studies, highlighting the absence of the temporal and spatial dimensions in the on-going evolution of social processes. The methodological contributions that this grounded theory study makes are, first and foremost, the conceptualisation of the emerged concepts that are used to explain the process of initiating change in management learning. Research problems and questions are then formulated by abstractly conceptualising the concerns and resolutions of research participants, as opposed to the researcherā€™s own. This study begins with no focus, however uncomfortable that may make some researchers, recognising the key fact that the focus of the researcher, prior to his or her exposure to the research participants, has no relevance whatsoever to them. The focus is only established at the end of the study, following a set of rigorous and transparent methodological procedures. The adherence to the orthodox grounded theory (Glaser ;Strauss, 1967) confirms that grounded theory is a fully-fledged research methodology in its own right, not a set of methods for data analysis (McCallin, 2003).EThOS - Electronic Theses Online ServiceGBUnited Kingdo

    Linear and Affine Typing of Continuation-Passing Style

    Get PDF
    Submitted for the degree of Doctor of Philosophy, Queen Mary, University of Londo

    Proceedings of the 8th Scandinavian Logic Symposium

    Get PDF

    The Noise of the Oppressed

    Get PDF

    Mangroves degradation: a local perspective on its awareness

    Get PDF
    Mangroves in Malaysia reside on the coastlines, and the largest areas of mangrove are in the Northern Sabah. Over the past decades, mangrove species have been reported to be disappearing from the globe. It is due to several natural processes that have been inserted to fill the needs of the increased population. These include illegal logging, agriculture activities and urbanisation. In this regards, awareness of the local residents about the problem of mangrove depletion is important to inhibit the problem to prolong further.Therefore, this research was conducted to determine the degree of awareness of local residents on the importance of mangroves in managing environmental quality. Consequently, a questionnaire survey was conducted on 103 respondents to examine their awareness on the subject of mangrove degradation.The respondents were selected randomly among local residents of Kuala Selangor district.It is found that only twenty percent of the total number of respondents are totallyaware of the issue and acted upon itĶ¾ either taking part in the endeavours made by the government as well as those with the nongovernmental bodies or practicing mangroves replanting at their backyard
    corecore