Strictness Analysis and Polymorphic Invariance

Bibliografische gegevens
Hoofdauteur: Abramsky, S
Formaat: Conference item
Gepubliceerd in: Springer−Verlag 1986