/fine-grained-shift0-dollar

Coq Formalisation of "A Fine-Grained Evaluation Strategy for Delimited-Control Operators shift0/dollar"

Primary LanguageCoq

No issues in this repository yet.