Strictness Analysis and Polymorphic Invariance

Dades bibliogràfiques
Autor principal: Abramsky, S
Format: Conference item
Publicat: Springer−Verlag 1986