Datasets
- 2 results
Search results
-
A Silver implementation of a subset of MetaOCaml
Van Wyk, E. & Kramer, L., Data Repository for the University of Minnesota, 2019
DOI: 10.13020/z10a-7g60, http://hdl.handle.net/11299/206536
Dataset
-
Silver-ableC: a Silver extension for writing ableC specifications
Van Wyk, E. & Kramer, L., Data Repository for the University of Minnesota, 2019
DOI: 10.13020/hbr0-9z50, http://hdl.handle.net/11299/206532
Dataset