{"id":"W4414988709","doi":"10.1145/3763096","title":"Qualified Types with Boolean Algebras","year":2025,"lang":"en","type":"article","venue":"Proceedings of the ACM on Programming Languages","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Type (biology); Stone's representation theorem for Boolean algebras; Two-element Boolean algebra; Complete Boolean algebra; Boolean algebra; Boolean expression; Algebra over a field; Domain (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.006293354,0.0006009463,0.0007372434,0.0019041,0.001754529,0.005542561,0.002213145,0.001293598,0.006773205],"category_scores_gemma":[0.007212257,0.0007667658,0.002490135,0.001709146,0.004250442,0.01285716,0.003784431,0.00307749,0.00227599],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002241421,"about_ca_system_score_gemma":0.002542906,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002463248,"about_ca_topic_score_gemma":0.002520408,"domain_scores_codex":[0.9953329,0.001144698,0.0005458758,0.0006615191,0.001835142,0.0004798361],"domain_scores_gemma":[0.996316,0.0009705122,0.0003868647,0.001047404,0.0009853271,0.0002939703],"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.00001948206,0.00001042609,0.0002031993,0.00004376322,0.000008142692,0.00003495316,0.000173257,0.0009637683,0.0008886129,0.9865676,0.001022397,0.01006435],"study_design_scores_gemma":[0.00004930412,0.0000618158,0.0001606688,0.00008764891,0.00004722392,0.0001681915,0.0001153152,0.01952819,0.004653228,0.8744105,0.1006516,0.00006628833],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.004888477,0.0003371405,0.9830598,0.0005845366,0.000279352,0.00009632423,0.0001320225,0.0008581118,0.009764225],"genre_scores_gemma":[0.1621095,0.0009188754,0.8198081,0.001075475,0.0004811832,0.000341587,0.0004142935,0.0005219333,0.01432903],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006773205,"threshold_uncertainty_score":0.03328288,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01418840425015455,"score_gpt":0.2647709369190902,"score_spread":0.2505825326689357,"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."}}