{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.008901169,0.001097433,0.0009805789,0.002287793,0.002069591,0.006823829,0.002403599,0.002993048,0.004397166],"category_scores_gemma":[0.01511755,0.001183457,0.002514053,0.003412108,0.005009426,0.01675481,0.00464367,0.00435062,0.0008219339],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002482005,"about_ca_system_score_gemma":0.002817867,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004115783,"about_ca_topic_score_gemma":0.002237893,"domain_scores_codex":[0.9910451,0.00404432,0.0008959213,0.0009099272,0.002356242,0.0007485527],"domain_scores_gemma":[0.9861303,0.00749138,0.001417932,0.002876521,0.001497097,0.0005867372],"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.00002287292,0.00001195846,0.0001837911,0.00003312977,0.0000105965,0.00007873917,0.0004213965,0.008699812,0.0005248197,0.9867106,0.0004442012,0.002858105],"study_design_scores_gemma":[0.00003736029,0.00003276478,0.0001137132,0.00007352332,0.00003103968,0.0001825927,0.0002076683,0.07542,0.001392133,0.8970751,0.02539848,0.00003558405],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01642865,0.0004340168,0.9725977,0.0008580978,0.0001118524,0.0001137991,0.0002840329,0.00044628,0.008725644],"genre_scores_gemma":[0.5009892,0.002389232,0.4792967,0.0006776453,0.0005091943,0.0009523705,0.0009530724,0.000544697,0.01368796],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008901169,"threshold_uncertainty_score":0.04707444,"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."}}