Concepedia

Partial abstract types

Manfred Broy, Martin Wirsing

Acta Informatica · 1982 · 163 citations · 11 references

DOI

References

11

Fully abstract models of typed λ-calculi

Robin Milner · Theoretical Computer Science · 1977 · 477 citations · Full text

, , +13

Putting theories together to make specifications

R. M. Burstall, Joseph A. Goguen · International Joint Conference on Artificial Intelligence · 1977 · 421 citations

, , +9

The specification and application to programming of abstract data types.

John V. Guttag · 1975 · 332 citations

, , +11

Final algebra semantics and data type extensions

Mitchell Wand · Journal of Computer and System Sciences · 1979 · 170 citations

, , +13

On hierarchies of abstract data types

Martin Wirsing, Peter Pepper, H. Partsch et al. · Acta Informatica · 1983 · 133 citations

, , +9