Strictness Analysis and Polymorphic Invariance
S. Abramsky
Book Title
Programs as Data Objects
Editor
H. Ganzinger and N. Jones
Pages
1−23
Publisher
Springer−Verlag
Year
1986
S. Abramsky