Planned intervention: On Wednesday June 26th 05:30 UTC Zenodo will be unavailable for 10-20 minutes to perform a storage cluster upgrade.
Published September 13, 2022 | Version v1
Software Open

Intrinsically-Typed Definitional Interpreters à la Carte (artifact)

  • 1. Delft University of Technology

Description

Artifact accompanying the OOPSLA 2022 paper "Intrinsically-Typed Definitional Interpreters à la Carte"

Files

artifact.zip

Files (2.6 MB)

Name Size Download all
md5:8f2e96741887e30fe0123193cfeeeafe
2.6 MB Preview Download

Additional details

Related works

Is cited by
Journal article: 10.1145/3563355 (DOI)