#

coercion

Here is 1 public repository matching this topic...

Gradual-Typing / LambdaIFCStar

The Agda mechanization of a gradual security-typed programming language with general mutable references.

semantics agda formalization coercion meta-theory gradual-typing information-flow type-systems noninterference

Updated Apr 5, 2025
Agda

Improve this page

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

Curate this topic

Add this topic to your repo

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