Decisions for "Type" in APL.

W. E. Gull, Michael A. Jenkins

Browse the full POPL paper archive.