- Modular Verification of Programs with Effects and Effect Handlers in Coq https://hal.inria.fr/hal-01799712/document 4 comments programming
Linking pages
Related searches:
Search whole site: site:hal.inria.fr
Search title: Modular Verification of Programs with Effects and Effect Handlers in Coq
See how to search.