control-operators

Here are 2 public repositories matching this topic...

Lambda Calculi Formalizations in Coq using nested datatypes for a type-safe term representation

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

Add a description, image, and links to the control-operators topic page so that developers can more easily learn about it.

To associate your repository with the control-operators topic, visit your repo's landing page and select "manage topics."