A. Aiken and E. L. Wimmers. Type inclusion constraints and type iafexence. In Proceedings of the ACM SIGPLAN Conference on Fundional Programming Languages Computer Architecture, pages 31-41, 1993.
author author author author author author title title title title title title booktitle booktitle booktitle booktitle booktitle booktitle booktitle booktitle booktitle booktitle booktitle booktitle booktitle pages pages date