File Download
There are no files associated with this item.
Supplementary
-
Citations:
- Appears in Collections:
Article: Compositional Programming
Title | Compositional Programming |
---|---|
Authors | |
Issue Date | 2021 |
Publisher | ACM. The Journal's web site is located at https://toplas.acm.org/ |
Citation | ACM Transactions on Programming Languages and Systems, 2021, Volume 43, Issue 3, p. 9:1–61 How to Cite? |
Persistent Identifier | http://hdl.handle.net/10722/319432 |
DC Field | Value | Language |
---|---|---|
dc.contributor.author | ZHANG, W | - |
dc.contributor.author | SUN, Y | - |
dc.contributor.author | Dos Santos Oliveira, BC | - |
dc.date.accessioned | 2022-10-14T05:13:13Z | - |
dc.date.available | 2022-10-14T05:13:13Z | - |
dc.date.issued | 2021 | - |
dc.identifier.citation | ACM Transactions on Programming Languages and Systems, 2021, Volume 43, Issue 3, p. 9:1–61 | - |
dc.identifier.uri | http://hdl.handle.net/10722/319432 | - |
dc.language | eng | - |
dc.publisher | ACM. The Journal's web site is located at https://toplas.acm.org/ | - |
dc.relation.ispartof | ACM Transactions on Programming Languages and Systems | - |
dc.title | Compositional Programming | - |
dc.type | Article | - |
dc.identifier.email | Dos Santos Oliveira, BC: bruno@cs.hku.hk | - |
dc.identifier.authority | Dos Santos Oliveira, BC=rp01786 | - |
dc.identifier.hkuros | 338845 | - |
dc.identifier.volume | Volume 43, Issue 3 | - |
dc.identifier.spage | 9:1–61 | - |
dc.identifier.epage | 9:1–61 | - |