- Full text PDF available (9)
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)
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)
A B S T R A C T We introduce Handy, a Haskell-based virtual machine for execution of ARM assembly code implemented in a clean functional style. Handy implements the ARM4T Instruction Set Architecture and features a design informed by the ARM7TDMI processor. I hereby declare that this project is entirely my own work and that it has not been submitted as an… (More)