Omnisemantics: Smoother Handling of Nondeterminism
Name
3579834.pdf
Size
513.67 KB
Format
Adobe PDF
Checksum (MD5)
d4e0e0a847bea3f16feef78775c5b777
Author(s)
Chargu?raud, Arthur
Chlipala, Adam
Erbsen, Andres
Gruetter, Samuel
Date Issued
January 24, 2023
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
MIT Department
Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
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.
Persistent DSpace Link
DOI of Published Version
https://doi.org/10.1145/3579834
