Using Conditional Execution to Exploit Instruction Level Concurrency
Interactive Hypermedia Applications: A Model and its Implementation
On Tuning Recursive Procedures
Experiences of Parallelising Finite-element Problems in a Functional Style
Type Inference of SELF: Analysis of Objects with Dynamic and Multiple Inheritance
Using PROTEAN for Verifying a Complex Protocol - A Case Study