ISBN 1420072137 I just recently finished reading Introduction to Concurrency in Programming Languages, one of the entries in CRC’s incredibly active Computational Science Series (“Incredibly active?” ...

[2] Quantitative program reasoning with graded modal types. Proceedings of the ACM on Programming Languages (2019). [3] Session types revisited. Information and Computation (2017).

Installation files for the programming language are available on the download page for macOS, Linux and Windows. (rme) Don't miss any news – follow us on Facebook, LinkedIn or Mastodon.