{"id":"W1965382524","doi":"10.1016/j.entcs.2005.09.028","title":"Type Theory and Language Constructs for Objects with States","year":2006,"lang":"en","type":"article","venue":"Electronic Notes in Theoretical Computer Science","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Western University","funders":"","keywords":"Object (grammar); Computer science; Subtyping; Type theory; Programming language; Type (biology); State (computer science); Class (philosophy); Relation (database); Object-oriented programming; Method; Theoretical computer science; Object model; Artificial intelligence; Data mining","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001726236,0.0001651874,0.0001927037,0.000135524,0.0001887674,0.0003268523,0.000806438,0.00004630992,0.000004157394],"category_scores_gemma":[0.0001067609,0.0001159755,0.0000225366,0.0007682781,0.001605554,0.0002922564,0.000229854,0.0001583775,0.000004680223],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000742903,"about_ca_system_score_gemma":0.0002472484,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002419009,"about_ca_topic_score_gemma":0.00003895293,"domain_scores_codex":[0.9980286,0.0001116264,0.0001867623,0.0005970111,0.0002828636,0.0007930832],"domain_scores_gemma":[0.9985696,0.0007949689,0.00005973552,0.0003825481,0.0001106038,0.00008252604],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00002864634,0.00002763312,0.0003649691,0.00001195223,0.000003202476,0.000009016399,0.0004720105,0.00006864909,0.0003131397,0.9759663,0.000002576578,0.02273189],"study_design_scores_gemma":[0.0004744167,0.0007346127,0.0003724531,0.000009109543,0.000003895178,0.00008548458,0.0000226934,0.0569424,0.00645008,0.9345927,0.00009145073,0.0002206675],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.07996351,0.0005049993,0.918258,0.0001258277,0.0001705258,0.0003030531,3.743779e-7,0.0001042209,0.0005695409],"genre_scores_gemma":[0.9682019,0.000005522585,0.03152833,0.0001498112,0.00007962776,0.00001367455,0.000001587821,0.000008183951,0.0000113337],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8882384,"threshold_uncertainty_score":0.591573,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.004056061187361299,"score_gpt":0.2303879877299941,"score_spread":0.2263319265426328,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}