Well-Typed Programs Can’t Be Blamed

We introduce the blame calculus, which adds the notion of blame from Findler and Felleisen’s contracts to a system similar to Siek and Taha’s gradual types and Flanagan’s hybrid types. We characterise where positive and negative blame can arise by decomposing the usual notion of subtype into positive and negative subtypes, and show that these recombine to yield naive subtypes. Naive subtypes previously appeared in type systems that are unsound, but we believe this is the first time naive subtypes play a role in establishing type soundness

Integrating education for sustainable development into a higher education institution: beginning the journey

Much of the current literature on integrating sustainability into HEIs is focussed on why HEIs should embrace sustainable development (SD) and what is still missing or hindering work and the integration of efforts. There is much less exploration of how SD has been interpreted at the individual HEI level and action taken as a result. This case study reflects on important elements of the journey Nottingham Trent University (NTU) in the UK has taken to integrate sustainability, focussing on key decisions and activity in 2009/10. In highlighting this, the authors seek to empower those looking to support and/or lead the embedding of Education for Sustainable Development (ESD), separately or as part of an integrated effort, in their own institution. Today in 2019, NTU is a global leader in integrating ESD as part of a wider SD agenda. The work which this paper presents, to understand and establish a baseline of key elements of NTU’s existing ESD activity and systems, was an important turning point. Activities undertaken to review and assess ‘where are we now?’, primarily through an institution-wide survey in 2009/10, led to important insights and supported dialogue, as well as the connection and underpinning of core administrative elements of the NTU SD framework and systems. Further recommendations are given in the final section of this paper on other drivers that can help to embed ESD within an HEI

Governance and sustainable development at higher education institutions

© 2020, Springer Nature B.V. Governance issues, here interpreted as the provisions of adequate policy frameworks characterized by reliability and accountability, coupled with resources to support their implementation, are known to be the basis for the implementation of sustainable development measures. This paper discusses the influence of governance in the ways sustainability is perceived and practiced in a higher education context. Apart from due considerations to the role of governance as the basis for regulation and institutional actions and management decisions, this paper reports on an empirical study undertaken in a sample of higher education institutions. This study entailed an analysis of sustainable development policies, certification, organizational structure, budget, reports, team for sustainability, staff training, and challenges for the integration of sustainability and governance. The results suggest that even though there are different opinions and attitudes on the role of governance, it is regarded as an important component in supporting efforts by higher education institutions to include considerations on sustainable development as part of their strategies

Towards Realising SDGs in the University of Helsinki

Peer reviewe