Skip to content

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

Notifications You must be signed in to change notification settings

Kamirus/fine-grained-shift0-dollar

Repository files navigation

Delimited-Control Operators shift0/dollar:

Makefile generated by coq_makefile -f _CoqProject *.v -o Makefile


This is an archived sub-repository of lambda-formalizations that hosts the formalisation code of my thesis.

About

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

Topics

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published