https://github.com/ilyasergey/gradual-ownership
Experimental implementation of Gradual Ownership Types for Java 1.4
https://github.com/ilyasergey/gradual-ownership
gradual-typing jastadd java ownership-types type-system
Last synced: 3 months ago
JSON representation
Experimental implementation of Gradual Ownership Types for Java 1.4
- Host: GitHub
- URL: https://github.com/ilyasergey/gradual-ownership
- Owner: ilyasergey
- License: other
- Created: 2012-03-12T11:54:04.000Z (over 13 years ago)
- Default Branch: master
- Last Pushed: 2012-03-12T12:04:27.000Z (over 13 years ago)
- Last Synced: 2025-02-01T07:43:42.699Z (5 months ago)
- Topics: gradual-typing, jastadd, java, ownership-types, type-system
- Homepage: http://github.com/ilyasergey/Gradual-Ownership/wiki
- Size: 1.41 MB
- Stars: 1
- Watchers: 2
- Forks: 0
- Open Issues: 0