Strictness Analysis and Polymorphic Invariance

Bibliografiske detaljer
Hovedforfatter: Abramsky, S
Format: Conference item
Udgivet: Springer−Verlag 1986