{"id":"W1982101038","doi":"10.1145/1557626.1557642","title":"A type system for hybrid intensional-imperative programming support in GIPSY","year":2009,"lang":"en","type":"article","venue":"","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":16,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Computer science; Programming language; Compiler; Context (archaeology); Class (philosophy); Type (biology); Artificial intelligence","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.003585686,0.0005795465,0.0008434175,0.001046006,0.001128833,0.003499637,0.002561351,0.001201577,0.007927161],"category_scores_gemma":[0.005768297,0.001218056,0.001370532,0.001114687,0.002412382,0.005152848,0.005359794,0.003638776,0.003644977],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001041946,"about_ca_system_score_gemma":0.002120332,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0007078022,"about_ca_topic_score_gemma":0.000974048,"domain_scores_codex":[0.9979836,0.0004691336,0.000289377,0.0003403221,0.0006807009,0.0002368589],"domain_scores_gemma":[0.9976682,0.0005301875,0.0002561231,0.001051915,0.0003467007,0.0001467451],"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.0006125968,0.0001183831,0.003015076,0.0006560914,0.0001280677,0.001459527,0.002372175,0.01035913,0.04288576,0.7792082,0.01929397,0.139891],"study_design_scores_gemma":[0.0004093265,0.0004636114,0.001999155,0.0004716732,0.0003257881,0.003889566,0.0003528447,0.09464263,0.06425285,0.2966851,0.5361802,0.0003273203],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.006171159,0.0001370729,0.978263,0.0002099275,0.000145711,0.0001236618,0.0001582766,0.009997126,0.004794192],"genre_scores_gemma":[0.1128104,0.0003674719,0.8697761,0.0005729796,0.0001968323,0.0004814256,0.0007059582,0.003593411,0.01149542],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007927161,"threshold_uncertainty_score":0.02651894,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04124353572187064,"score_gpt":0.3155397684003303,"score_spread":0.2742962326784597,"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."}}