{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.007288171,0.001154815,0.001150474,0.003085405,0.003509408,0.006520473,0.003073233,0.003261234,0.006521133],"category_scores_gemma":[0.007594458,0.001358606,0.003586798,0.003755209,0.009999583,0.01511597,0.003449554,0.008195174,0.002870846],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002628259,"about_ca_system_score_gemma":0.002619488,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002553963,"about_ca_topic_score_gemma":0.001412147,"domain_scores_codex":[0.9958353,0.001254632,0.0005871632,0.0008671629,0.001089156,0.0003665272],"domain_scores_gemma":[0.9953909,0.002161185,0.000493821,0.0009403974,0.000824483,0.0001892136],"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.000003812599,0.000005019454,0.00004550062,0.00002801365,0.000003422758,0.00002417163,0.0002925985,0.0003647211,0.0001599459,0.9943798,0.0008477534,0.003845279],"study_design_scores_gemma":[0.00001227159,0.00001455946,0.00004759675,0.00005058773,0.00001477904,0.00009071814,0.0000860404,0.002881976,0.0004659403,0.9524088,0.04390644,0.00002026283],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.003245551,0.00208228,0.9748683,0.002497382,0.0008358333,0.0001095344,0.0003225367,0.0008967892,0.01514179],"genre_scores_gemma":[0.1357377,0.003989248,0.8372536,0.003360237,0.001887483,0.001111523,0.001034015,0.0009106733,0.01471549],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007288171,"threshold_uncertainty_score":0.038544,"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."}}