{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002863673,0.001189013,0.001133741,0.00206529,0.003883149,0.006273906,0.002281154,0.002617488,0.02757866],"category_scores_gemma":[0.01035861,0.001116358,0.001619856,0.003034039,0.006665271,0.01782213,0.00578069,0.007792435,0.01565534],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00175016,"about_ca_system_score_gemma":0.002359862,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001802897,"about_ca_topic_score_gemma":0.002089627,"domain_scores_codex":[0.9966761,0.0009395297,0.0003325781,0.0007597805,0.0008977344,0.0003943152],"domain_scores_gemma":[0.994186,0.001614229,0.0004538587,0.002181151,0.001143479,0.0004211389],"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.0000487234,0.00001442859,0.0003377066,0.0001645198,0.00001592753,0.0001231659,0.0009000623,0.0001798597,0.001166564,0.9192911,0.04118582,0.03657199],"study_design_scores_gemma":[0.00001171399,0.00003144376,0.0001931848,0.0001362668,0.00002617438,0.0005858875,0.0003518531,0.0005000994,0.002225209,0.3252374,0.6706595,0.00004133759],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.009030902,0.006571396,0.8088655,0.01227763,0.01544034,0.0001570569,0.001914731,0.009608258,0.1361342],"genre_scores_gemma":[0.2334895,0.009611245,0.5052313,0.01408231,0.005604146,0.0005138738,0.002276161,0.01373396,0.2154575],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.02757866,"threshold_uncertainty_score":0.09225976,"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."}}