Strictness Analysis and Polymorphic Invariance

書目詳細資料
主要作者: Abramsky, S
格式: Conference item
出版: Springer−Verlag 1986