There is a newer version of the record available.

Published June 17, 2025 | Version v2
Software Open

Normalization by Evaluation for Non-cumulativity (Artifact)

Files

README.md

Files (3.4 GB)

Name Size
md5:9b68b052b27211cd1b6dc1ce7534939d
3.4 GB Preview Download
md5:527dc6cad772ccb187d5bfe5af738204
18.7 kB Download
md5:31f6c3a235d90985164c9f69dbda176b
2.3 MB Preview Download
md5:283cce680dbc6f54323ba682e2b23512
777.7 kB Preview Download
md5:965fcb84ce775605490c68c41bdbc18a
8.5 kB Preview Download

Additional details

Related works

Is supplement to
Software: 10.1145/3747508 (DOI)

Software

Repository URL
https://hustmphrrr.github.io/mech-type-theories/release/icfp25/