File Download
There are no files associated with this item.
Links for fulltext
(May Require Subscription)
- Publisher Website: 10.1145/3549537
- WOS: WOS:000910732700004
Supplementary
-
Citations:
- Web of Science: 0
- Appears in Collections:
Article: Revisiting Iso-Recursive Subtyping
Title | Revisiting Iso-Recursive Subtyping |
---|---|
Authors | |
Issue Date | 2022 |
Citation | ACM Transactions on Programming Languages and Systems, 2022, v. 44, p. 1-54 How to Cite? |
Persistent Identifier | http://hdl.handle.net/10722/322366 |
ISI Accession Number ID |
DC Field | Value | Language |
---|---|---|
dc.contributor.author | ZHOU, Y | - |
dc.contributor.author | ZHAO, J | - |
dc.contributor.author | Dos Santos Oliveira, BC | - |
dc.date.accessioned | 2022-11-14T08:21:14Z | - |
dc.date.available | 2022-11-14T08:21:14Z | - |
dc.date.issued | 2022 | - |
dc.identifier.citation | ACM Transactions on Programming Languages and Systems, 2022, v. 44, p. 1-54 | - |
dc.identifier.uri | http://hdl.handle.net/10722/322366 | - |
dc.language | eng | - |
dc.relation.ispartof | ACM Transactions on Programming Languages and Systems | - |
dc.title | Revisiting Iso-Recursive Subtyping | - |
dc.type | Article | - |
dc.identifier.email | Dos Santos Oliveira, BC: bruno@cs.hku.hk | - |
dc.identifier.authority | Dos Santos Oliveira, BC=rp01786 | - |
dc.identifier.doi | 10.1145/3549537 | - |
dc.identifier.hkuros | 341306 | - |
dc.identifier.volume | 44 | - |
dc.identifier.spage | 1 | - |
dc.identifier.epage | 54 | - |
dc.identifier.isi | WOS:000910732700004 | - |