Strictness Analysis and Polymorphic Invariance

Sonraí bibleagrafaíochta
Príomhchruthaitheoir: Abramsky, S
Formáid: Conference item
Foilsithe / Cruthaithe: Springer−Verlag 1986