Experiences in Translating Z Designs to Haskell Implementations.
Complex Performance Measurements with NICE (Notation for Interval Combinations and Events).
Object Request Broker: Foundation for Distributed Simulation.
Incremental Compiler Transformations for Multiple Instruction Retry.
Multistage Indexing for Speeding Prolog Executions.