effects-as-sessions icon indicating copy to clipboard operation
effects-as-sessions copied to clipboard

Published 20 hours ago • verified publisher icon dorchard
→

Metadata

Formalised embedding of an imperative language with effect system into session-typed pi calculus.

Results 0 effects-as-sessions issues
Sort by recently updated
recently updated
newest added

← Metadata

27
Stars
2
Forks
Watchers

Owner

verified publisher icon dorchard

Metadata

Formalised embedding of an imperative language with effect system into session-typed pi calculus.

Back