Rocq proofs for the theoretical development of lambda-ST from the PLDI'24 paper "Stream Types" (https://dl.acm.org/doi/10.1145/3656434)
alpha-convert/lambda-st-proofs
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Rocq proofs for the theoretical development of lambda-ST from the PLDI'24 paper "Stream Types" (https://dl.acm.org/doi/10.1145/3656434)