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