{"id":"W2126641514","doi":"10.1017/s0960129514000243","title":"Modelling session types using contracts","year":2014,"lang":"en","type":"article","venue":"Mathematical Structures in Computer Science","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":26,"is_retracted":false,"has_abstract":true,"ca_institutions":"Trinity College","funders":"","keywords":"Session (web analytics); Rotation formalisms in three dimensions; Computer science; Interpretation (philosophy); Programming language; World Wide Web; 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":[],"consensus_categories":[],"category_scores_codex":[0.001117329,0.0001693014,0.0002566632,0.0001660312,0.0002289567,0.0005523397,0.001496526,0.00006079182,0.000007986989],"category_scores_gemma":[0.00008225699,0.000120747,0.00004502743,0.0006324744,0.0002479984,0.0005799601,0.000511122,0.0001597443,0.00002083237],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006563726,"about_ca_system_score_gemma":0.0000706818,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002592461,"about_ca_topic_score_gemma":0.000001253222,"domain_scores_codex":[0.9979415,0.00007805678,0.0003409664,0.0005549674,0.0005906873,0.0004938521],"domain_scores_gemma":[0.9988695,0.000185636,0.0001111303,0.0005929149,0.00008820571,0.0001525691],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000001070976,0.0000256927,0.0001315259,0.00002572039,0.000001523344,0.000007083026,0.0004327905,0.08445995,0.0002074184,0.8671302,0.000005551361,0.0475715],"study_design_scores_gemma":[0.00009108208,0.0000166592,0.00007034333,0.00001126222,0.000001074301,0.00003729416,0.000001749939,0.6102229,0.0003110986,0.3890267,0.0001060956,0.0001036781],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02528843,0.00003835816,0.9727256,0.00005845286,0.0006920656,0.0001525064,7.092759e-8,0.0001137353,0.0009307662],"genre_scores_gemma":[0.6796818,4.479602e-7,0.320099,0.0001056366,0.0001023194,0.000001891078,1.108494e-7,0.000004527289,0.000004271002],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.6543933,"threshold_uncertainty_score":0.5326224,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03768632492651351,"score_gpt":0.282842901819051,"score_spread":0.2451565768925374,"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."}}