Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Completeness of Proof Systems for Equational Specifications | 21 | 4.44 | 1985 |
| Modules for standard ML | 113 | 42.78 | 1984 |
| Semantics of Data Types: International Symposium, Sophia-Antipolis, France, June 27-29, 1984 Proceedings | 20 | 21.66 | 1984 |
| A semantic model of types for applicative languages | 37 | 22.42 | 1982 |
| HOPE: An experimental applicative language | 190 | 67.66 | 1980 |