Correctness of the Type System
Subject Reduction:
¡ÉReduction preserves well-typedness"
?, c:?t1 int chan; ?¨§ (spawn(fn()=>send(c, 3)); let v = recv(c) in ?)
?
?, c:?t1 int chan; ?¨§ let v = 3 in ?
Previous slide
Next slide
Back to first slide
View graphic version