Zac Garby
Calculating Compilers Effectively
Garby, Zac; Hutton, Graham; Bahr, Patrick
Authors
Abstract
Much work in the area of compiler calculation has focused on pure languages. While this simplifies the reasoning, it reduces the applicability. In this article, we show how an existing compiler calculation methodology can be naturally extended to languages with side-effects. We achieve this by exploiting an algebraic approach to effects, which keeps the reasoning simple and provides flexibility in how effects are interpreted. To make the ideas accessible we only use elementary functional programming techniques.
Citation
Garby, Z., Hutton, G., & Bahr, P. (2024, September). Calculating Compilers Effectively. Presented at ACM SIGPLAN Haskell Symposium 2024, Milan, Italy
Presentation Conference Type | Edited Proceedings |
---|---|
Conference Name | ACM SIGPLAN Haskell Symposium 2024 |
Start Date | Sep 6, 2024 |
End Date | Sep 7, 2024 |
Acceptance Date | Jul 5, 2024 |
Deposit Date | Jul 16, 2024 |
Publisher | Association for Computing Machinery (ACM) |
Peer Reviewed | Peer Reviewed |
ISBN | 9798400711022 |
DOI | https://doi.org/10.1145/3677999.3678283 |
Public URL | https://nottingham-repository.worktribe.com/output/37306908 |
This file is under embargo due to copyright reasons.
You might also like
Calculating correct compilers
(2015)
Journal Article
Cutting out continuations
(2016)
Presentation / Conference Contribution
Towards a theory of reach
(2016)
Journal Article
Failing faster: overlapping patterns for property-based testing
(2017)
Presentation / Conference Contribution
Contractive Functions on Infinite Data Structures
(2016)
Presentation / Conference Contribution
Downloadable Citations
About Repository@Nottingham
Administrator e-mail: discovery-access-systems@nottingham.ac.uk
This application uses the following open-source libraries:
SheetJS Community Edition
Apache License Version 2.0 (http://www.apache.org/licenses/)
PDF.js
Apache License Version 2.0 (http://www.apache.org/licenses/)
Font Awesome
SIL OFL 1.1 (http://scripts.sil.org/OFL)
MIT License (http://opensource.org/licenses/mit-license.html)
CC BY 3.0 ( http://creativecommons.org/licenses/by/3.0/)
Powered by Worktribe © 2024
Advanced Search