Deriving Effect Handler Semantics

For algebraic effects and handlers, we know both small-step and big-step operational semantics and we are familiar with denotational semantics. But, what is missing is a structured showing that one is equivalent to the other. On top of this, most efficient implementations of algebraic effects and handlers closely resemble their denotational...

Programming With Effects: Improving the quality of code in IO intensive applications through effect handlers

Effect handler orient programming (EHOP) is a recently proposed programming paradigm that aims to provide a high-level abstraction in code. Using this paradigm, programmers are able to define operations as an effect, which are implemented by an effect handler. Functions can then use effects, allowing the effect operations to be used in this...

AMC Amsterdam as green lung for its inhabitants and environment

The Academic Medical Center (AMC) is one of the largest hospitals in the Netherlands and it is located in the Bijlmer district. The complex was built in 1981 and consists of 64 hectares of land. The complex is surround by a green belt where also the former psychiatric center was located. The AMC can be seen as a stand-alone city, with daily...

Consequences of the implementation of blockchain technology

Blockchain technology is increasingly being seen as a general purpose technology with far reaching (institutional) effects. However, the ongoing empirical blockchain discussions on these effects are unstructured, due to high complexities. Both practitioners and researchers therefore struggle to get to the core of blockchain technology...

Mapping the Effects of Peer-to-Peer Sharing Economy Platforms on Society: A Grounded Theory study towards the creation of a conceptual model of the effects of peer-to-peer sharing economy platforms on values, actors and institutional arrangements

Peer-to-peer platforms in the sharing economy have the potential to empower citizens and their development possibly leads to economic growth, environmental sustainability and social cohesion in society. However, these platforms put pressure on existing institutions and lead to problems on issues as consumer protection, working conditions and...

The effects of the use of the concession model: Case study regarding five Dutch urban area development cases