Strictness Analysis and Polymorphic Invariance

Bibliografiska uppgifter
Huvudupphovsman: Abramsky, S
Materialtyp: Conference item
Publicerad: Springer−Verlag 1986