Microprocessor speci in Hawk (1998)

by J Matthews, B Cook, J Launchbury
Venue:In Proceedings of the IEEE International Conference on Computer Languages