{"id":"W2953799021","doi":"10.1007/978-3-030-23220-7_6","title":"A Flexible Categorial Formalisation of Term Graphs as Directed Hypergraphs","year":2019,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"","keywords":"Computer science; Executable; Programming language; Compiler; Term (time); Functional programming; Implementation; Theoretical computer science; Generic programming","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.001558379,0.0006830827,0.0004576495,0.00193789,0.0008900402,0.003750217,0.001796568,0.001214364,0.008109506],"category_scores_gemma":[0.002747284,0.0006158037,0.001087834,0.002222268,0.003852435,0.008572864,0.002388946,0.004570129,0.002690574],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001703211,"about_ca_system_score_gemma":0.0009985127,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001281196,"about_ca_topic_score_gemma":0.001787111,"domain_scores_codex":[0.998991,0.0002942524,0.00008788889,0.0002480262,0.0003056294,0.00007325617],"domain_scores_gemma":[0.9985183,0.0007331778,0.00009194604,0.0003571829,0.0002342698,0.00006518049],"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.00000351315,0.000003918133,0.00002154324,0.00004732266,0.000003154734,0.0000360401,0.0002223802,0.000843824,0.001010777,0.9876002,0.001491407,0.008715927],"study_design_scores_gemma":[0.000006444566,0.00001027112,0.00004942481,0.00007615823,0.00001027934,0.0001434681,0.0000965915,0.005467676,0.00104199,0.8661703,0.1269115,0.00001591674],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.003091515,0.002196464,0.9339142,0.0009583946,0.0006966396,0.00009010481,0.0003029543,0.0008838879,0.05786584],"genre_scores_gemma":[0.1567657,0.006283624,0.7615182,0.001415053,0.0007263861,0.000515582,0.001089598,0.001641619,0.0700442],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.008109506,"threshold_uncertainty_score":0.02712899,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01781426940575457,"score_gpt":0.2413096826418455,"score_spread":0.223495413236091,"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."}}