Recursive Subtyping for All (Q125659211)
Jump to navigation
Jump to search
scientific article published in 2023
Language | Label | Description | Also known as |
---|---|---|---|
English | Recursive Subtyping for All |
scientific article published in 2023 |
Statements
Recursive Subtyping for All (English)
1 reference
Litao Zhou
1 reference
Yaoda Zhou
1 reference
Bruno C. d. S. Oliveira
1 reference
9 January 2023
1 reference
7
1 reference
1396-1425
1 reference
POPL
1 reference