Corpus ID: 211076072

Back to Futures

@article{Pruiksma2020BackTF,
  title={Back to Futures},
  author={Klaas Pruiksma and Frank Pfenning},
  journal={ArXiv},
  year={2020},
  volume={abs/2002.04607}
}
  • Klaas Pruiksma, Frank Pfenning
  • Published in ArXiv 2020
  • Computer Science
  • We briefly introduce the semi-axiomatic sequent calculus for linear logic whose natural computational interpretation is session-typed asynchronous communication. This natural asynchrony allows us to endow it with a shared-memory semantics that is weakly bisimilar to its more standard message-passing semantics. We then show how to further refine the concurrent shared memory semantics into a sequential one. Exploiting the expressive framework of adjoint logic, we show how to combine instances of… CONTINUE READING

    Create an AI-powered research feed to stay up to date with new papers like this posted to ArXiv

    References

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

    Session-Typed Ordered Logical Specifications

    • H. DeYoung
    • Ph.D. thesis,
    • 2020
    VIEW 3 EXCERPTS

    Adjoint logic (Apr 2018), http://www.cs.cmu.edu/ fp/papers/adjoint18b.pdf, unpublished manuscript

    • K. Pruiksma, W. Chargin, F. Pfenning, J. Reed
    • 2018
    VIEW 1 EXCERPT

    Manifest sharing with session

    • S. Balzer, F. Pfenning
    • types. In: International Conference on Functional Programming (ICFP). pp. 37:1–37:29. ACM (Sep 2017),
    • 2017
    VIEW 1 EXCERPT