University of Alberta. Dept. of Computing Science

• A constructive type theory for simple imperative programming
• A sequential language for nanoprogramming the QM-1
• Dynamic call admission control and quality of service regulation oin ATM networks
• Improvements to the language and implementation of APL
• On the design of a parallel arithmetic unit
• Representing natural language in extended semantic networks
• Visualization of ATM network data