Strictness Analysis and Polymorphic Invariance

Opis bibliograficzny
1. autor: Abramsky, S
Format: Conference item
Wydane: Springer−Verlag 1986