Projects in Awesome Lists tagged with control-operators
A curated list of projects in awesome lists tagged with control-operators .
https://github.com/kamirus/lambda-formalizations
Lambda Calculi Formalizations in Coq using nested datatypes for a type-safe term representation
control-operators coq-formalization effect-handlers effect-system lambda-calculus nested-datatypes preservation progress stlc theorem-proving
Last synced: 02 Aug 2025
https://github.com/kamirus/fine-grained-shift0-dollar
Coq Formalisation of "A Fine-Grained Evaluation Strategy for Delimited-Control Operators shift0/dollar"
control-operators coq delimited-continuations formalization lambda-calculus
Last synced: 23 Jan 2026