Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Generalize Linear Channels

Generalize Linear Channels by Usage Annotations

“For every I/O with capability,a corresponding O/I with obligation”

c:(Oo|Ic.-)t int chan; ?├ (spawn(fn()=>send(c, 3)); let v = recv(c) in ?)
c:(Oo|Ic.-)t int chan; ?├ let v = recv(c) in ?

Previous slide Next slide Back to first slide View graphic version

Generalize Linear Channels by Usage Annotations

“For every I/O with capability, a corresponding O/I with obligation”

“For every I/O with capability,a corresponding O/I with obligation”