Relational Compilation for Performance-Critical Applications

Author(s)
Pit-Claudel, Cl?ment; Philipoom, Jade; Jamner, Dustin; Erbsen, Andres; Chlipala, Adam
Thumbnail
Download3519939.3523706.pdf (425Kb)
Publisher with Creative Commons License
Terms of use
Creative Commons Attribution 4.0 International license https://creativecommons.org/licenses/by/4.0/
Metadata
Show full item record
Date issued
2022-06-13
URI
https://hdl.handle.net/1721.1/146370
Department
Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
Publisher
ACM|Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation
Citation
Pit-Claudel, Cl?ment, Philipoom, Jade, Jamner, Dustin, Erbsen, Andres and Chlipala, Adam. 2022. "Relational Compilation for Performance-Critical Applications."
Version: Final published version
ISBN
978-1-4503-9265-5
Collections

The following license files are associated with this item: