File Download

There are no files associated with this item.

  Links for fulltext
     (May Require Subscription)
Supplementary

Conference Paper: Distributing Intersection and Union Types with Splits and Duality (Functional Pearl)

TitleDistributing Intersection and Union Types with Splits and Duality (Functional Pearl)
Authors
HUANG, XDos Santos Oliveira, BC
Issue Date2021
PublisherAssociation for Computing Machinery.
Citation
26th ACM SIGPLAN International Conference on Functional Programming (ICFP 2021), v. 5, p. Article 89 How to Cite?
DOI: http://dx.doi.org/10.1145/3473594
Persistent Identifierhttp://hdl.handle.net/10722/320029
ISI Accession Number ID
WOS:000687133800029

 

DC FieldValueLanguage
dc.contributor.authorHUANG, X-
dc.contributor.authorDos Santos Oliveira, BC-
dc.date.accessioned2022-10-14T05:24:09Z-
dc.date.available2022-10-14T05:24:09Z-
dc.date.issued2021-
dc.identifier.citation26th ACM SIGPLAN International Conference on Functional Programming (ICFP 2021), v. 5, p. Article 89-
dc.identifier.urihttp://hdl.handle.net/10722/320029-
dc.languageeng-
dc.publisherAssociation for Computing Machinery. -
dc.relation.ispartof26th ACM SIGPLAN International Conference on Functional Programming (ICFP 2021)-
dc.rights26th ACM SIGPLAN International Conference on Functional Programming (ICFP 2021). Copyright © Association for Computing Machinery.-
dc.rights©ACM, YYYY. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in PUBLICATION, {VOL#, ISS#, (DATE)} http://doi.acm.org/10.1145/nnnnnn.nnnnnn-
dc.titleDistributing Intersection and Union Types with Splits and Duality (Functional Pearl)-
dc.typeConference_Paper-
dc.identifier.emailDos Santos Oliveira, BC: bruno@cs.hku.hk-
dc.identifier.authorityDos Santos Oliveira, BC=rp01786-
dc.identifier.doi10.1145/3473594-
dc.identifier.hkuros339188-
dc.identifier.volume5-
dc.identifier.spageArticle 89-
dc.identifier.epageArticle 89-
dc.identifier.isiWOS:000687133800029-
dc.publisher.placeNew York, NY, USA-

Export via OAI-PMH Interface in XML Formats

OR

Export to Other Non-XML Formats