Linearly-Used State in Models of Call-by-Value

@inproceedings{Mgelberg2011LinearlyUsedSI,
  title={Linearly-Used State in Models of Call-by-Value},
  author={Rasmus Ejlers M{\o}gelberg and Sam Staton},
  booktitle={CALCO},
  year={2011}
}
We investigate the phenomenon that every monad is a linear state monad. We do this by studying a fully-complete state-passing translation from an impure call-by-value language to a new linear type theory: the enriched call-by-value calculus. The results are not specific to store, but can be applied to any computational effect expressible using algebraic operations, even to effects that are not usually thought of as stateful. There is a bijective correspondence between generic effects in the… CONTINUE READING
BETA

References

Publications referenced by this paper.
SHOWING 1-10 OF 26 REFERENCES

The enriched effect calculus (2011), in preparation

  • J. Egger, R. Møgelberg, A. Simpson
  • 2011
2 Excerpts

Similar Papers

Loading similar papers…