{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004412697,0.0001123035,0.0001809403,0.0001005577,0.0000352496,0.0000434998,0.000333751,0.00002987468,0.000001294864],"category_scores_gemma":[0.0006624677,0.00009384211,0.00003657995,0.0002652099,0.00001325451,0.0002774254,0.00006281213,0.00008873568,0.000008739188],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008383464,"about_ca_system_score_gemma":0.00005022445,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002187373,"about_ca_topic_score_gemma":0.000001221727,"domain_scores_codex":[0.9991162,0.00003580279,0.0001885853,0.0002877288,0.0001054153,0.0002663004],"domain_scores_gemma":[0.9991394,0.0003821417,0.00003413027,0.0002567736,0.0001439762,0.00004362098],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001072595,0.0001392346,0.0001443671,0.0001169175,0.00003330516,0.0002480194,0.001787683,0.0363436,0.005745231,0.3139218,0.002148101,0.6392645],"study_design_scores_gemma":[0.007888493,0.01330519,0.01064171,0.001069434,0.00005412263,0.002200481,0.003849091,0.5092728,0.2307881,0.1481764,0.06714729,0.00560688],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.002916393,0.00004706296,0.9952362,0.0003007135,0.000386085,0.0003065878,5.922105e-7,0.0006686402,0.0001377414],"genre_scores_gemma":[0.2769026,0.000001285375,0.7227604,0.0001334169,0.00002171546,0.00002238427,0.000001715306,0.000004646839,0.0001518017],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.6336576,"threshold_uncertainty_score":0.382677,"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."}}