Relational Compilation for Performance-Critical Applications
Name
3519939.3523706.pdf
Size
425 KB
Format
Adobe PDF
Checksum (MD5)
a1c461173c98581b4617bcce84f6fd9b
Author(s)
Pit-Claudel, Cl?ment
Philipoom, Jade
Jamner, Dustin
Erbsen, Andres
Chlipala, Adam
Date Issued
June 13, 2022
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
MIT Department
Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
Terms of Use
Creative Commons Attribution 4.0 International license
Persistent DSpace Link
DOI of Published Version
https://doi.org/10.1145/3519939.3523706
