{"id":"W1995176436","doi":"10.1145/1816027.1816031","title":"Singleton types here, singleton types there, singleton types everywhere","year":2010,"lang":"en","type":"article","venue":"ACM SIGPLAN Notices","topic":"Model-Driven Software Engineering Techniques","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université de Montréal","funders":"","keywords":"Singleton; Computer science; Programming language; Compiler; Type (biology); Term (time); Closure (psychology); Code (set theory); Generalization; Theoretical computer science; Set (abstract data type); Mathematics","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0004325771,0.0005462343,0.0004949663,0.000257675,0.0002583073,0.000528129,0.003000619,0.0004062382,0.0001446981],"category_scores_gemma":[0.0002366875,0.0005000009,0.0001470378,0.0005396347,0.0001469558,0.0009716501,0.0007437945,0.0007452054,0.0003393521],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000817769,"about_ca_system_score_gemma":0.000137037,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000336667,"about_ca_topic_score_gemma":0.0003134262,"domain_scores_codex":[0.9971375,0.00009887783,0.0004779809,0.0009217581,0.0006171184,0.0007468038],"domain_scores_gemma":[0.9965426,0.0005239819,0.00028072,0.002199017,0.0002201479,0.0002335711],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0001657003,0.001106998,0.0246182,0.0006605559,0.0005724617,0.0004933043,0.004253941,0.006035183,0.1310819,0.1684598,0.0189839,0.643568],"study_design_scores_gemma":[0.001075075,0.00103652,0.005763748,0.0006309668,0.0001977051,0.0001538774,0.00004093922,0.03924681,0.1030409,0.01500104,0.8307182,0.003094282],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4116859,0.001058531,0.5722261,0.001280492,0.002723137,0.0005234045,0.00002326734,0.00369234,0.006786742],"genre_scores_gemma":[0.6991597,0.00003005253,0.2993094,0.0003054379,0.0004293148,0.00001987051,0.00001768721,0.00007663844,0.0006518948],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8117343,"threshold_uncertainty_score":0.9997452,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01554009223122133,"score_gpt":0.2395369830586711,"score_spread":0.2239968908274498,"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."}}