Statements (13)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:Company
|
| gptkbp:employees |
50
|
| gptkbp:founded |
gptkb:2005
|
| gptkbp:founder |
gptkb:John_Doe
|
| gptkbp:headquarters |
gptkb:San_Francisco,_California
|
| https://www.w3.org/2000/01/rdf-schema#label |
Type System Innovations
|
| gptkbp:industry |
gptkb:software_framework
|
| gptkbp:products |
Type Safe
|
| gptkbp:revenue |
5 million USD
|
| gptkbp:services |
consulting
|
| gptkbp:website |
www.typesysteminnovations.com
|
| gptkbp:bfsParent |
gptkb:Generalized_Algebraic_Data_Types
|
| gptkbp:bfsLayer |
5
|