(Q125659211)

English

Recursive Subtyping for All

scientific article published in 2023

In more languages

edit

Statements

1 reference

https://api.crossref.org/v1/works/https://doi.org/10.1145/3571241

retrieved

27 April 2024

title

Recursive Subtyping for All (English)

1 reference

https://api.crossref.org/v1/works/https://doi.org/10.1145/3571241

retrieved

27 April 2024

author name string

Litao Zhou

series ordinal

1

1 reference

https://api.crossref.org/v1/works/https://doi.org/10.1145/3571241

retrieved

27 April 2024

Yaoda Zhou

series ordinal

2

1 reference

https://api.crossref.org/v1/works/https://doi.org/10.1145/3571241

retrieved

27 April 2024

Bruno C. d. S. Oliveira

series ordinal

3

1 reference

https://api.crossref.org/v1/works/https://doi.org/10.1145/3571241

retrieved

27 April 2024

publication date

9 January 2023

1 reference

https://api.crossref.org/v1/works/https://doi.org/10.1145/3571241

retrieved

27 April 2024

published in

Proceedings of the ACM on Programming Languages

1 reference

https://api.crossref.org/v1/works/https://doi.org/10.1145/3571241

retrieved

27 April 2024

volume

7

1 reference

https://api.crossref.org/v1/works/https://doi.org/10.1145/3571241

retrieved

27 April 2024

issue

POPL

1 reference

https://api.crossref.org/v1/works/https://doi.org/10.1145/3571241

retrieved

27 April 2024

page(s)

1396-1425

1 reference

https://api.crossref.org/v1/works/https://doi.org/10.1145/3571241

retrieved

27 April 2024

Identifiers

1 reference

https://api.crossref.org/v1/works/https://doi.org/10.1145/3571241

retrieved

27 April 2024

(Q125659211)

Recursive Subtyping for All

Statements

Identifiers

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)