Strictness Analysis and Polymorphic Invariance

Détails bibliographiques
Auteur principal: Abramsky, S
Format: Conference item
Publié: Springer−Verlag 1986