{"id":"W2023970190","doi":"10.1145/1707790.1707792","title":"Singleton types here, singleton types there, singleton types everywhere","year":2010,"lang":"en","type":"article","venue":"","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":21,"is_retracted":false,"has_abstract":true,"ca_institutions":"Computer Research Institute of Montréal; Université de Montréal","funders":"","keywords":"Singleton; Computer science; Generalization; Type (biology); Mathematics; Geology; Pregnancy; Mathematical analysis","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.002351146,0.001331479,0.001248231,0.002616589,0.004172631,0.005638517,0.002131965,0.002605039,0.02145053],"category_scores_gemma":[0.008214311,0.000962821,0.001317298,0.003659867,0.007710832,0.01844914,0.004900069,0.007856142,0.01209424],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001598748,"about_ca_system_score_gemma":0.00144416,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001411269,"about_ca_topic_score_gemma":0.00187256,"domain_scores_codex":[0.9974602,0.0006633095,0.0002828915,0.0006675986,0.0005907619,0.0003353271],"domain_scores_gemma":[0.9954502,0.001186875,0.0003579516,0.001667179,0.0009908772,0.0003470362],"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.00005193037,0.00001264669,0.0002601307,0.0001734056,0.00001840099,0.00008471763,0.0007691616,0.0001110195,0.00101002,0.9418186,0.02777174,0.0279181],"study_design_scores_gemma":[0.00001640529,0.00003740635,0.0002653716,0.0001312416,0.00003757303,0.0006822167,0.0004442536,0.0003171215,0.002082396,0.5105388,0.4854007,0.00004642022],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01503961,0.01434529,0.6761509,0.01424598,0.01971834,0.0001971322,0.003002953,0.007491405,0.2498084],"genre_scores_gemma":[0.3700072,0.01364385,0.3701591,0.01635753,0.005862897,0.000670236,0.002687356,0.008537043,0.2120748],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.02145053,"threshold_uncertainty_score":0.07175916,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0187449699590487,"score_gpt":0.2364180717513462,"score_spread":0.2176731017922975,"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."}}