A Miranda structure editor with type checking.
Publisher: University of Salford
Published: 1989
Place of publication: Salford
Language: eng
Notes: MSc thesis, Mathematics.