{"id":"W2125333933","doi":"10.1109/sefm.2007.5","title":"An AOP Extended Lambda-Calculus","year":2007,"lang":"en","type":"article","venue":"","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Programming language; Weaving; Computer science; Typed lambda calculus; System F; Type inference; Church encoding; Advice (programming); Aspect-oriented programming; Simply typed lambda calculus; Dependent type; Semantics (computer science); Lambda calculus; Operational semantics; Type safety; Lambda; Functional programming; Construct (python library); Calculus (dental); Inference; Artificial intelligence; Software; Engineering","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.00134995,0.0004057492,0.0004117474,0.0007180831,0.0009909789,0.001678964,0.001065706,0.0006937523,0.002329657],"category_scores_gemma":[0.002305895,0.0004505296,0.0007807029,0.0006755302,0.001421702,0.002147696,0.002018173,0.001805307,0.0007851925],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006293776,"about_ca_system_score_gemma":0.001708438,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001833474,"about_ca_topic_score_gemma":0.001401829,"domain_scores_codex":[0.9984488,0.0002224652,0.00009256333,0.0002193913,0.0008713547,0.0001452629],"domain_scores_gemma":[0.9992675,0.0001836564,0.00006700796,0.0001230088,0.000285988,0.00007272938],"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.00004019644,0.00003506725,0.0003728813,0.0001114777,0.00002052315,0.0004979963,0.0004620222,0.005954063,0.007981847,0.9341472,0.002670241,0.04770656],"study_design_scores_gemma":[0.00004946923,0.00006449729,0.0005507669,0.00009185289,0.00009461979,0.001151352,0.00009830807,0.08513891,0.008369832,0.6524363,0.2518906,0.00006348899],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0093445,0.0003873832,0.9725963,0.0004371529,0.0002754229,0.00005825937,0.0001090123,0.001131729,0.01566029],"genre_scores_gemma":[0.2339466,0.001318684,0.7350484,0.0005922096,0.000537261,0.000233401,0.000247734,0.0005644333,0.0275112],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.002329657,"threshold_uncertainty_score":0.007793427,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02805490990479599,"score_gpt":0.3335388937107447,"score_spread":0.3054839838059487,"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."}}