Software Open Access

Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Artifact)

Luís Caires; Bernardo Toninho


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.

Files (7.0 MB)
Name Size
62.zip
md5:12dff005380a8257474aacdc8fc4174e
7.0 MB Download
87
11
views
downloads
All versions This version
Views 8787
Downloads 1111
Data volume 77.4 MB77.4 MB
Unique views 8484
Unique downloads 1010

Share

Cite as