Omnisemantics: Smoother Handling of Nondeterminism

Author(s)
Chargu?raud, Arthur; Chlipala, Adam; Erbsen, Andres; Gruetter, Samuel
Thumbnail
Download3579834.pdf (513.6Kb)
Publisher Policy
Terms of use
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.
Metadata
Show full item record
Date issued
2023-01-24
URI
https://hdl.handle.net/1721.1/147829
Department
Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
Journal
ACM Transactions on Programming Languages & Systems
Publisher
ACM
Citation
Chargu?raud, Arthur, Chlipala, Adam, Erbsen, Andres and Gruetter, Samuel. 2023. "Omnisemantics: Smoother Handling of Nondeterminism." ACM Transactions on Programming Languages & Systems.
Version: Final published version
ISSN
0164-0925
Collections