Synchronous Programming with Refinement Types
Published in Zenodo (CERN European Organization for Nuclear Research) • Jul 9, 2024
Authors:,,
Jiawei Chen
José Luiz Vargas de Mendonça
Bereket Shimels Ayele
Abstract
Contents artifact-marvelus.zip: Source files for the artifact and data vm-image-marvelus.zip: VM image with runnable MARVeLus installation README.md: The README file supplied with the artifact archive, copied here for convenience. Version History v2: Remove anonymity after completion of artifact rev...
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!