Composing bidirectional programs monadically (with appendices) (2019)
Attributed to:
CamFort: Automated evolution and verification of computational science models
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.48550/arxiv.1902.06950
Publication URI: https://arxiv.org/pdf/1902.06950.pdf
Type: Journal Article/Review
Parent Publication: arXiv e-prints