R. D. Laing's mental hospital experience has been considered a formative influence on his controversial views. This paper addresses a number of discrepancies in the existing accounts: important aspects of the refractory ward and 'rumpus room' were underestimated; all the 'rumpus room' patients were not discharged and readmitted as repeatedly stated; his… (More)
We present a uniqueness type system that is simpler than both Clean's uniqueness system and a system we proposed previously. The new type system is straightforward to implement and add to existing compilers, and can easily be extended with advanced features such as higher rank types and impredicativity. We describe our implementation in Morrow, an… (More)
By dynamically recoding data on the basis of current intercharacter probabilities, the entropy of encoded messages can be significantly reduced.
We redefine the uniqueness type system of the functional programming language Clean for the lambda calculus. Our treatment of curried functions is very different from their treatment in Clean, resulting in a much simpler type system (for example, the subtyping relation in Clean is no longer necessary). Further, our system supports arbitrary rank types,… (More)
Previous object code compression schemes have employed static and semiadaptive compression algorithms to reduce the size of instruction memory in embedded systems. The suggestion by a number of researchers that adaptive compression techniques are unlikely to yield satisfactory results for code compression has resulted in virtually no investigation of their… (More)
In this paper we introduce an adaptive technique for compressing small quantities of text which are organized as a rooted directed graph. We impose a constraint on the technique such that data encountered during a traversal of any valid path through the graph must be recoverable without requiring the expansion of data that is not on the path in question.… (More)
Uniqueness typing can be used to add side effects to a functional programming language without losing referential transparency. Unfortunately uniqueness types often involve implications between uniqueness attributes, which complicates type inference and incorporating modern extensions such as arbitrary rank types. In this paper we show how to avoid these… (More)