110
click to vote
APLAS
2006
ACM
16 years 15 hour ago
2006
ACM
We give an elementary semantics to an effect system, tracking read and write effects by using relations over a standard extensional semantics for the original language. The seman...