10.5281/zenodo.3362424
https://zenodo.org/records/3362424
oai:zenodo.org:3362424
Luís Caires
Luís Caires
0000-0002-3215-6734
NOVA-LINCS and FCT-NOVA, Universidade Nova de Lisboa
Bernardo Toninho
Bernardo Toninho
0000-0002-0746-7514
NOVA-LINCS and FCT-NOVA, Universidade Nova de Lisboa
Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Artifact)
Zenodo
2019
Refinement Kinds
Typed Meta-Programming
Type-level Computation
Type Theory
2019-08-07
eng
10.5281/zenodo.3362423
1.0
Creative Commons Attribution 4.0 International
Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Artifact)
This is the artifact for the paper Refinement Kinds: Type-safe Programming with Practical Type-level Computation. The artifact
consists of a prototype kind and type-checker (which also includes an evaluator) for the language described in the paper.
The artifact is distributed as a Docker image that bundles the source code, all its dependencies, the code examples from the paper and
various additional examples. See the README for a getting started and syntax guides.