Browse by Authors and Editors
Number of items: 2.
Hutton, Graham and Voermans, Ed (1992) A Calculational Theory of Pers as Types. Technical Report: 1992/R1. Department of Computing Science, University of Glasgow.
Hutton, Graham and Voermans, Ed (1992) Making Functionality More General. In: Proceedings of the 1991 Glasgow Workshop on Functional Programming, Skye, Scotland.