Alternative names (1)
typing disciplineRandom triples
| Subject | Object |
|---|---|
| gptkb:Typed_ATS | linear typing |
| gptkb:Pony_programming_language | strong |
| gptkb:Idris_2 | strong |
| gptkb:Visual_Basic_for_Applications | strong |
| gptkb:Dafny | static |
| gptkb:JuliaLang | strong |
| gptkb:CPL_programming_language | static |
| gptkb:OCaml | strong typing |
| gptkb:Sun_Microsystems_Java | strong |
| gptkb:Basic | weak |
| gptkb:Emacs_Lisp | strong |
| gptkb:C_language | weak |
| gptkb:Visual_Basic_Script | dynamic |
| gptkb:ISO_Modula-2 | strong |
| gptkb:Red_(programming_language) | dynamic |
| gptkb:Modula-3_programming_language | strong typing |
| gptkb:Go_programming_language | inferred |
| gptkb:True_BASIC | strong |
| gptkb:Idris_programming_language | dependent |
| gptkb:Self_programming_language | dynamic |