Books by University of Alberta. Dept. of Computing Science
A constructive type theory for
A constructive type theory for simple imperative programming
Visualization of ATM network d
Visualization of ATM network data
Dynamic call admission control
Dynamic call admission control and quality of service regulation oin ATM networks
On the design of a parallel ar
On the design of a parallel arithmetic unit
A sequential language for nano
A sequential language for nanoprogramming the QM-1
Representing natural language
Representing natural language in extended semantic networks
Improvements to the language a
Improvements to the language and implementation of APL