{"id":"W4401596910","doi":"10.1145/3674649","title":"Staged Compilation with Module Functors","year":2024,"lang":"en","type":"article","venue":"Proceedings of the ACM on Programming Languages","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Functor; Programming language; Computer science; Mathematics; Pure 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.001913602,0.0003936767,0.0003933355,0.0007312504,0.0005055789,0.00148659,0.000989426,0.0004671822,0.003701915],"category_scores_gemma":[0.004760691,0.0004447702,0.001175396,0.0005705487,0.001583166,0.002715353,0.00319207,0.001352545,0.0008367754],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005891372,"about_ca_system_score_gemma":0.0009426043,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004451039,"about_ca_topic_score_gemma":0.0007360199,"domain_scores_codex":[0.9989491,0.0002959105,0.00009100843,0.0002022194,0.0003307489,0.0001311668],"domain_scores_gemma":[0.997346,0.0009223598,0.0001438681,0.001135043,0.0003475539,0.0001051649],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0001302348,0.0000526885,0.001495177,0.0002250826,0.00003974929,0.0003190049,0.0009751004,0.01396533,0.01882455,0.8536072,0.003689563,0.1066763],"study_design_scores_gemma":[0.00008015902,0.0001997756,0.001256131,0.0001784294,0.0001178816,0.0006662394,0.0001133113,0.1320409,0.05778389,0.6797484,0.127696,0.0001189552],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02055961,0.0001649159,0.9667135,0.0001874772,0.0001333468,0.00005710188,0.0001248852,0.004489788,0.007569426],"genre_scores_gemma":[0.4373885,0.0003381211,0.5481884,0.0003385766,0.0001564518,0.0002012819,0.0003034706,0.00214506,0.01094007],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.003701915,"threshold_uncertainty_score":0.01238418,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0172354960443027,"score_gpt":0.2523212622960378,"score_spread":0.2350857662517351,"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."}}