Strictness Analysis and Polymorphic Invariance

书目详细资料
主要作者: Abramsky, S
格式: Conference item
出版: Springer−Verlag 1986