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


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


Files (2.6 MB)

Name Size Download all
2.6 MB Preview Download

Additional details

Related works

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