{"id":"W4412989191","doi":"10.1145/3747519","title":"Fusing Session-Typed Concurrent Programming into Functional Programming","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":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université du Québec à Montréal; McGill University","funders":"Fonds de recherche du Québec – Nature et technologies; Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Session (web analytics); Programming language; Functional reactive programming; Functional logic programming; Programming paradigm; Inductive programming; World Wide Web","routes":{"ca_aff":true,"ca_fund":true,"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.00557495,0.000895079,0.000655245,0.001221466,0.001156993,0.002936765,0.002025254,0.001023011,0.003617063],"category_scores_gemma":[0.00891579,0.0009485657,0.001870879,0.001059841,0.004509739,0.006197787,0.00397841,0.002646064,0.000883212],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001387206,"about_ca_system_score_gemma":0.002399182,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002997348,"about_ca_topic_score_gemma":0.002268636,"domain_scores_codex":[0.9965346,0.0009630951,0.0003076174,0.0004776641,0.001311278,0.0004057724],"domain_scores_gemma":[0.9957838,0.001847972,0.0002840852,0.0009876929,0.0008234881,0.0002730729],"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.00009342303,0.00003671882,0.0005390029,0.000135994,0.00003058755,0.0002899104,0.000985128,0.01266013,0.004963328,0.9308075,0.00164558,0.04781275],"study_design_scores_gemma":[0.00004554039,0.00009806312,0.0001959979,0.0001116265,0.00006595593,0.0003481304,0.0001524075,0.1229912,0.01020851,0.8120282,0.05368376,0.00007068565],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.003976857,0.00007981696,0.9919249,0.0001803518,0.00007579024,0.00003262272,0.00002874263,0.001183426,0.002517482],"genre_scores_gemma":[0.3052576,0.0005088453,0.683841,0.0005136213,0.0003704695,0.0002598035,0.0001862112,0.001261964,0.007800408],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00557495,"threshold_uncertainty_score":0.02948356,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02050461748089668,"score_gpt":0.2854521876599401,"score_spread":0.2649475701790435,"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."}}