Strictness Analysis and Polymorphic Invariance

Detalles Bibliográficos
Autor Principal: Abramsky, S
Formato: Conference item
Publicado: Springer−Verlag 1986