%0 Conference Proceedings
%F so78
%A Solomon, Marvin
%T Type definitions with parameters
%B POPL '78: Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
%P 31-38
%I ACM
%C New York, NY, USA
%U http://www.diku.dk/hjemmesider/ansatte/henglein/papers/solomon1978a.pdf
%U http://doi.acm.org/10.1145/512760.512765
%8 January
%D 1978
%K algexp
%K  rectype