https://github.com/serban-petrescu/ocaml-core-java
Formal Methods: Core Java Typechecker
https://github.com/serban-petrescu/ocaml-core-java
core-java ocaml type-checking type-safety
Last synced: 9 months ago
JSON representation
Formal Methods: Core Java Typechecker
- Host: GitHub
- URL: https://github.com/serban-petrescu/ocaml-core-java
- Owner: serban-petrescu
- License: mit
- Created: 2017-10-15T16:05:59.000Z (about 8 years ago)
- Default Branch: master
- Last Pushed: 2018-01-14T16:24:52.000Z (almost 8 years ago)
- Last Synced: 2024-04-14T23:59:28.860Z (over 1 year ago)
- Topics: core-java, ocaml, type-checking, type-safety
- Language: Standard ML
- Size: 24.4 KB
- Stars: 0
- Watchers: 2
- Forks: 1
- Open Issues: 0