File Download

There are no files associated with this item.

  Links for fulltext
     (May Require Subscription)
Supplementary

Article: Revisiting Iso-Recursive Subtyping

TitleRevisiting Iso-Recursive Subtyping
Authors
ZHOU, YZHAO, JDos Santos Oliveira, BC
Issue Date2022
Citation
ACM Transactions on Programming Languages and Systems, 2022, v. 44, p. 1-54 How to Cite?
DOI: http://dx.doi.org/10.1145/3549537
Persistent Identifierhttp://hdl.handle.net/10722/322366
ISI Accession Number ID
WOS:000910732700004

 

DC FieldValueLanguage
dc.contributor.authorZHOU, Y-
dc.contributor.authorZHAO, J-
dc.contributor.authorDos Santos Oliveira, BC-
dc.date.accessioned2022-11-14T08:21:14Z-
dc.date.available2022-11-14T08:21:14Z-
dc.date.issued2022-
dc.identifier.citationACM Transactions on Programming Languages and Systems, 2022, v. 44, p. 1-54-
dc.identifier.urihttp://hdl.handle.net/10722/322366-
dc.languageeng-
dc.relation.ispartofACM Transactions on Programming Languages and Systems-
dc.titleRevisiting Iso-Recursive Subtyping-
dc.typeArticle-
dc.identifier.emailDos Santos Oliveira, BC: bruno@cs.hku.hk-
dc.identifier.authorityDos Santos Oliveira, BC=rp01786-
dc.identifier.doi10.1145/3549537-
dc.identifier.hkuros341306-
dc.identifier.volume44-
dc.identifier.spage1-
dc.identifier.epage54-
dc.identifier.isiWOS:000910732700004-

Export via OAI-PMH Interface in XML Formats

OR

Export to Other Non-XML Formats