On the Implementation of Constants. - Hamish I. E. Gunn; Ronald Morrison (Inf. Process. Lett., 1979)

Degrees of Constancy in Programming Languages. - Hamish I. E. Gunn; David M. Harland (Inf. Process. Lett., 1981)

Compile Time Type Checking of Structure Field Accessing. - Hamish I. E. Gunn (Inf. Process. Lett., 1982)

Another look at enumerated types. - David M. Harland; Hamish I. E. Gunn (ACM SIGPLAN Notices, 1982)

Abstract machine design for inceasingly more powerful algol-like languages. - Hamish I. E. Gunn (1983)

Polymorphic Programming II. An Orthogonal Tagged High Level Architecture Abstract Machine. - Hamish I. E. Gunn; David M. Harland (Softw. Pract. Exp., 1984)

Polymorphic Programming I. Another Language Designed on Semantic Principles. - David M. Harland; Hamish I. E. Gunn (Softw. Pract. Exp., 1984)