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
131
12
views
downloads
All versions This version
Views 13169
Downloads 123
Data volume 78.5 GB14.0 GB
Unique views 11966
Unique downloads 113

Share

Cite as