Strictness Analysis and Polymorphic Invariance

Dettagli Bibliografici
Autore principale: Abramsky, S
Natura: Conference item
Pubblicazione: Springer−Verlag 1986