GitHub topics: control-operators
Kamirus/lambda-formalizations
Lambda Calculi Formalizations in Coq using nested datatypes for a type-safe term representation
Language: Coq - Size: 388 KB - Last synced at: 19 days ago - Pushed at: over 2 years ago - Stars: 4 - Forks: 1
Kamirus/fine-grained-shift0-dollar
Coq Formalisation of "A Fine-Grained Evaluation Strategy for Delimited-Control Operators shift0/dollar"
Language: Coq - Size: 532 KB - Last synced at: 8 days ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0