{"id":"W2252723931","doi":"10.6092/issn.1972-5787/5122","title":"Programming type-safe transformations using higher-order abstract syntax","year":2015,"lang":"en","type":"article","venue":"DOAJ (DOAJ: Directory of Open Access Journals)","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université de Montréal","funders":"","keywords":"Compiler; Computer science; Programming language; Executable; Syntax; Abstract syntax; Control flow; Scope (computer science); Semantics (computer science); 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.005667632,0.0006002812,0.0005735267,0.001052795,0.0009687117,0.004054403,0.001692315,0.00106315,0.003472646],"category_scores_gemma":[0.01147286,0.0008582879,0.001953975,0.0008243824,0.004302102,0.006477823,0.00285727,0.003317157,0.0009545466],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001625626,"about_ca_system_score_gemma":0.00319155,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002569341,"about_ca_topic_score_gemma":0.003388661,"domain_scores_codex":[0.9961281,0.001253128,0.0004229691,0.0005347481,0.001248343,0.0004126493],"domain_scores_gemma":[0.9910545,0.004025297,0.0007566451,0.002991682,0.000999446,0.0001724657],"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.0001051319,0.00006492771,0.001063386,0.0001760344,0.00004626609,0.0001907498,0.001303486,0.01970465,0.009723395,0.921998,0.002126325,0.0434977],"study_design_scores_gemma":[0.00009110259,0.0001009958,0.0003438128,0.0001314744,0.0001293183,0.0002307102,0.0002479426,0.1109234,0.05256322,0.7925314,0.04261181,0.00009481188],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0127128,0.00005526129,0.9796585,0.0002625439,0.00007809816,0.00005706296,0.00007020793,0.004850752,0.002254786],"genre_scores_gemma":[0.2966332,0.0002623216,0.6959935,0.0004252971,0.00009651876,0.0001743023,0.0002220848,0.002474542,0.003718339],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005667632,"threshold_uncertainty_score":0.02997363,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.3549951766017072,"score_gpt":0.5204825067955703,"score_spread":0.1654873301938631,"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."}}