package coq-continuations
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
A toolkit to reason with programs raising exceptions
Install
Dune Dependency
Authors
Maintainers
Sources
v8.10.0.tar.gz
md5=b1c38624cece12679e24681edc342e5c
Description
We show a way of developing correct functionnal programs raising exceptions. This is made possible using a Continuation Passing Style translation, see the contribution "exceptions" from P. Casteran at Bordeaux. Things are made easier and more modular using some general definitions.
On This Page