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
69
7
views
downloads
All versions This version
Views 6969
Downloads 77
Data volume 49.2 MB49.2 MB
Unique views 6666
Unique downloads 66
More info on how stats are collected.
Indexed in
Publication date:
August 7, 2019
DOI:
10.5281/zenodo.3362424

Zenodo DOI Badge

DOI 

10.5281/zenodo.3362424

Markdown 

[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.3362424.svg)](https://doi.org/10.5281/zenodo.3362424)

reStructedText 

.. image:: https://zenodo.org/badge/DOI/10.5281/zenodo.3362424.svg
   :target: https://doi.org/10.5281/zenodo.3362424

HTML 

<a href="https://doi.org/10.5281/zenodo.3362424"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.3362424.svg" alt="DOI"></a>

Image URL 

https://zenodo.org/badge/DOI/10.5281/zenodo.3362424.svg

Target URL 

https://doi.org/10.5281/zenodo.3362424

Keyword(s):
Refinement Kinds Typed Meta-Programming Type-level Computation Type Theory
License (for files):
Creative Commons Attribution 4.0 International

Versions

Version 1.0 10.5281/zenodo.3362424 Aug 7, 2019
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.3362423. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export