Luís Caires
Bernardo Toninho
2019-08-07
<p><br>
<strong>Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Artifact)</strong></p>
<p>This is the artifact for the paper Refinement Kinds: Type-safe Programming with Practical Type-level Computation. The artifact<br>
consists of a prototype kind and type-checker (which also includes an evaluator) for the language described in the paper.</p>
<p>The artifact is distributed as a Docker image that bundles the source code, all its dependencies, the code examples from the paper and<br>
various additional examples. See the README for a getting started and syntax guides.</p>
https://doi.org/10.5281/zenodo.3362424
oai:zenodo.org:3362424
eng
Zenodo
https://doi.org/10.5281/zenodo.3362423
info:eu-repo/semantics/openAccess
Creative Commons Attribution 4.0 International
https://creativecommons.org/licenses/by/4.0/legalcode
Refinement Kinds
Typed Meta-Programming
Type-level Computation
Type Theory
Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Artifact)
info:eu-repo/semantics/other