Strictness Analysis and Polymorphic Invariance

التفاصيل البيبلوغرافية
المؤلف الرئيسي: Abramsky, S
التنسيق: Conference item
منشور في: Springer−Verlag 1986