Published April 30, 2025 | Version v1
-
1.
University of Kent
-
2.
Radboud University Nijmegen
Description
Rocq proofs for the paper "The Algebra of Patterns" at ECOOP '25.
Files
Files (1.4 GB)
| Name | Size | |
|---|---|---|
| md5:a7996cdbff336775a44ed30c52930fbe | 1.4 GB | Download |
| md5:fc408d5f0c880adde41900015d0a9b64 | 10.5 kB | Download |
| md5:5aa97930086cd47d9a4c627413c0f31a | 77.5 kB | Download |
| md5:e80318e0345fb3013ac39527b08587c8 | 33.1 kB | Download |
| md5:7fd0ddb6613831a5fe693caf102f0cb5 | 8.6 kB | Download |
| md5:53e1ce4c7747280e57eb4e06706cc7a7 | 10.1 kB | Download |
| md5:fa3312adcaef8888efb128f6529d144b | 19.9 kB | Download |