Coq formalization of a message passing-based language that incorporates an intensional design of the receive expression that integrates static and dynamic type checking and allows the effect of the message received to be intensionally inspected through a notion of dynamic typing.
swarnpriya/intensional-receive
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|