Generic H A SKELL exploits the promising new incarnation of generic programming due to Hinze. Apart from extending the programming language Haskell, Hinze-style polytypism offers a simple approach to defining generic functions which are applicable to types of all kinds. Here we explore a number of simple but significant extensions to Hinze’s ideas which make generic programming both more expres...

The challenge of mobilizing knowledge to improve patient care, population health and ensure effective use of resources is an enduring one in healthcare systems across the world. This commentary reflects on an earlier paper by Ferlie and colleagues that proposes the resource-based view (RBV) of the firm as a useful theoretical lens through which to study knowledge mobilization in healthcare. Spe...

A general method for deriving an identity-based public key cryptosystem from a one-way function is described. We construct both ID-based signature schemes and ID-based encryption schemes. We use a general technique which is applied to multi-signature versions of the one-time signature scheme of Lamport and to a public key encryption scheme based on a symmetric block cipher which we present. We ...