Append-only reference material for the MeTTaIL exploration: the bibliography, a gap analysis from the current state toward full OSLF, and semantic type-checking use cases. Preserved verbatim as part of the MeTTaIL record.
Status: Historical — append-only scientific record; indexed, not edited.
Can you improve this documentation?Edit on GitHub
cljdoc builds & hosts documentation for Clojure/Script libraries
| Ctrl+k | Jump to recent docs |
| ← | Move to previous article |
| → | Move to next article |
| Ctrl+/ | Jump to the search field |