https://github.com/ilyasergey/gradual-ownership

Experimental implementation of Gradual Ownership Types for Java 1.4

gradual-typing jastadd java ownership-types type-system

Last synced: 27 Mar 2025