A constructive type theory for simple imperative programming
By: by Kevin Robert Charter
Published: 1999
Language: eng
Number of pages: 175
Notes: Submitted to the Faculty of Graduate Studies and Research in partial fulfilment of the requirements for the degree of Master of Science, Department of Computing Science.

Thesis (M.Sc.)--University of Alberta, 1999.