(Q56982239)

English

Subtyping recursive types

article

In more languages

default for all languages

No label defined

No description defined

Statements

scholarly article

0 references

Subtyping recursive types (English)

0 references

object named as

Luca Cardelli

2

0 references

author name string

Roberto M. Amadio

1

0 references

publication date

1 September 1993

0 references

ACM Transactions on Programming Languages and Systems

0 references

15

0 references

4

0 references

575-631

0 references

Identifiers

10.1145/155183.155231

0 references

DBLP publication ID

journals/toplas/AmadioC93

1 reference

DBLP Dataset 2021-01-02

28 January 2021

Sitelinks

Wikipedia(0 entries)

Wikibooks(0 entries)

Wikinews(0 entries)

Wikiquote(0 entries)

Wikisource(0 entries)

Wikiversity(0 entries)

Wikivoyage(0 entries)

Wiktionary(0 entries)

Multilingual sites(0 entries)

Retrieved from "https://www.wikidata.org/w/index.php?title=Q56982239&oldid=1823819488"