ISBN 0-89791-595-X. type inference for arbitrary-rank types 81 (1990)

by Cophenhagen ACM Press