{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0008618262,0.0001018567,0.0001059906,0.00008204236,0.00004753893,0.00004527778,0.0007373667,0.00005245625,0.00001246314],"category_scores_gemma":[0.000276086,0.00008742453,0.00003094702,0.0002835887,0.00002751559,0.0005197757,0.0001191803,0.0001041774,0.00004429817],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003018894,"about_ca_system_score_gemma":0.00001477637,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000004978463,"about_ca_topic_score_gemma":0.00000439828,"domain_scores_codex":[0.9990518,0.00003890946,0.0001410311,0.0002848053,0.0001590492,0.0003244078],"domain_scores_gemma":[0.9987937,0.0003805826,0.00002498334,0.0006480775,0.00004315871,0.000109532],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.00000782609,0.00007501666,0.000131003,0.000007756665,0.000009984782,0.0001033213,0.0004461993,0.01083379,0.01830379,0.3803419,0.0002680222,0.5894714],"study_design_scores_gemma":[0.001572868,0.001135746,0.1248143,0.00003450709,0.00001422133,0.0002958762,0.0004512174,0.1122611,0.3977719,0.3281272,0.0309914,0.002529694],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.003178965,0.00004808837,0.9919444,0.00008863295,0.0004523305,0.00005212172,1.497054e-7,0.00174235,0.002492971],"genre_scores_gemma":[0.1494118,0.000002792738,0.8499008,0.0001937718,0.00005587836,0.00000202761,3.704277e-7,0.000007417521,0.0004250713],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.5869417,"threshold_uncertainty_score":0.3565069,"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."}}