Statements (24)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:programming_language
|
| gptkbp:basedOn |
gptkb:OCaml
|
| gptkbp:goal |
allow gradual migration from dynamic to static typing
improve type safety in OCaml |
| gptkbp:hasApplication |
academic research
programming language design type system experiments |
| gptkbp:hasFeature |
dynamic typing
type checking type inference gradual typing static typing type system type soundness optional type annotations |
| https://www.w3.org/2000/01/rdf-schema#label |
Typed OCaml
|
| gptkbp:influencedBy |
gptkb:TypeScript
gptkb:Typed_Racket gptkb:Gradual_Typing |
| gptkbp:license |
gptkb:MIT_License
|
| gptkbp:openSource |
true
|
| gptkbp:writtenBy |
gptkb:OCaml
|
| gptkbp:bfsParent |
gptkb:system_F
|
| gptkbp:bfsLayer |
6
|