| dc.contributor.author | Chargu?raud, Arthur | |
| dc.contributor.author | Chlipala, Adam | |
| dc.contributor.author | Erbsen, Andres | |
| dc.contributor.author | Gruetter, Samuel | |
| dc.date.accessioned | 2023-02-01T15:53:47Z | |
| dc.date.available | 2023-02-01T15:53:47Z | |
| dc.date.issued | 2023-01-24 | |
| dc.identifier.issn | 0164-0925 | |
| dc.identifier.uri | https://hdl.handle.net/1721.1/147829 | |
| dc.publisher | ACM | en_US |
| dc.relation.isversionof | https://doi.org/10.1145/3579834 | en_US |
| dc.rights | Article is made available in accordance with the publisher's policy and may be subject to US copyright law. Please refer to the publisher's site for terms of use. | en_US |
| dc.source | ACM | en_US |
| dc.title | Omnisemantics: Smoother Handling of Nondeterminism | en_US |
| dc.type | Article | en_US |
| dc.identifier.citation | Chargu?raud, Arthur, Chlipala, Adam, Erbsen, Andres and Gruetter, Samuel. 2023. "Omnisemantics: Smoother Handling of Nondeterminism." ACM Transactions on Programming Languages & Systems. | |
| dc.contributor.department | Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory | |
| dc.relation.journal | ACM Transactions on Programming Languages & Systems | en_US |
| dc.identifier.mitlicense | PUBLISHER_POLICY | |
| dc.eprint.version | Final published version | en_US |
| dc.type.uri | http://purl.org/eprint/type/JournalArticle | en_US |
| eprint.status | http://purl.org/eprint/status/PeerReviewed | en_US |
| dc.date.updated | 2023-02-01T08:47:07Z | |
| dc.language.rfc3066 | en | |
| dc.rights.holder | The author(s) | |
| dspace.date.submission | 2023-02-01T08:47:08Z | |
| mit.license | PUBLISHER_POLICY | |
| mit.metadata.status | Authority Work and Publication Information Needed | en_US |
