typeSafety

URI: https://gptkb.org/prop/typeSafety
3 triples
GPTKB property
Random triples
Subject Object
gptkb:OCaml_type_system yes
gptkb:Concurrent_Pascal strong
gptkb:Local-Variable_Type_Inference_(var_keyword) preserved