There is a newer version of the record available.

Published October 5, 2021 | Version v1
Software Open

Type-Level Programming with Match Types Artifact

Creators

  • 1. EPFL

Description

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

Files

Files (12.2 GB)

Name Size Download all
md5:3522611869ad3a90bbbedb8159b1069c
12.2 GB Download