UPDATE: Zenodo migration postponed to Oct 13 from 06:00-08:00 UTC. Read the announcement.

Software Open Access

Type-Level Programming with Match Types Artifact

Olivier Blanvillain; Jonathan Brachthäuser; Maxime Kjaer; Martin Odersky

This VM contains everything necessary to run the supplementary material of the "Type-Level Programming with Match Types" paper. To run this VM in VirtualBox:

  1. Install Oracle VM VirtualBox (see instructions: Downloads – Oracle VM VirtualBox)
  2. Click on the .ova file to import it into VirtualBox
  3. Start the VM, then open the README.md file on the desktop for further instructions
Files (4.7 GB)
Name Size
type-level-programming-with-match-types.ova
md5:8e12af3de800939d6a2504b1b2a176cf 		4.7 GB Download
217
21
views
downloads
All versions This version
Views 217136
Downloads 2112
Data volume 120.5 GB56.0 GB
Unique views 196130
Unique downloads 1911
More info on how stats are collected.
Indexed in
Publication date:
October 5, 2021
DOI:
10.5281/zenodo.5568850

Zenodo DOI Badge

DOI 

10.5281/zenodo.5568850

Markdown 

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

reStructedText 

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

HTML 

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

Image URL 

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

Target URL 

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

License (for files):
Creative Commons Attribution 4.0 International

Versions

Version 3 10.5281/zenodo.5568850 Oct 5, 2021
Version 2 10.5281/zenodo.5550065 Oct 5, 2021
Version 1 10.5281/zenodo.5549361 Oct 5, 2021
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.5549360. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export