Correspondence polymorphism for object-oriented languages
Rinat, Ran, Magidor, Menachem, Smith, Scott F.Volume:
34
Language:
english
Journal:
ACM SIGPLAN Notices
DOI:
10.1145/320385.320399
Date:
October, 1999
File:
PDF, 1.84 MB
english, 1999