Gradient

An experimental implementation of the Gradient (GradCC) type system, described in ¹.

Type-check a term

sbt run <term file>, e.g. sbt run examples/ex1.gradcc

Requirements

Scala >= 3.5.1

Footnotes

1. Aleksander Boruch-Gruszecki, Adrien Ghosn, Mathias Payer, and Clément Pit-Claudel. 2024. Gradient: Gradual Compartmentalization via Object Capabilities Tracked in Types. Proc. ACM Program. Lang. 8, OOPSLA2, Article 311 (October 2024), 27 pages. https://doi.org/10.1145/3689751 ↩