CLASS

This extension provides basic language support for CLASS, a session-typed, higher-order, core language that supports concurrent computation with shared linear state, and which is described in detail in the linked paper.

Authors: Ricardo Antunes

Known Issues

Calling out known issues can help limit users opening duplicate issues against your extension.

Release Notes

1.0.0

Initial release, containing basic support for most features of the language.