{"meta":{"query_hash":"3cb961507e9c","filters":{"venue":"Trends in Functional Programming"},"cohort_total":1,"direct_labels_cover":0,"predictions_cover":1,"exported":1,"export_cap":100000,"truncated":false,"label_status":"direct model label, unvalidated","prediction_status":"machine_predicted_unvalidated (Codex and Gemma teacher distillation)","score_status":"score_only:v0-immature-baseline","snapshot":{"source":"OpenAlex, pinned release, all 482 partitions","release":"2026-06-24","frame_built":"2026-07-12"},"permalink":"https://metacan.xera.ac/q/3cb961507e9c","api":"https://metacan.xera.ac/api/v1/cohort?venue=Trends+in+Functional+Programming"},"results":[{"id":"W2397205586","doi":"","title":"One Vote for Type Families in Haskell","year":2008,"lang":"en","type":"article","venue":"Trends in Functional Programming","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"route_ca_aff":true,"route_ca_fund":false,"route_ca_venue":false,"route_about_ca":true,"ca_institutions":"Université de Montréal","funders":"","keywords":"Haskell; Computer science; Programming language; Functional programming; Data type; Type (biology); Sketch; Type inference; Type safety; Compiler; Abstract data type; Data structure; Context (archaeology); Theoretical computer science; Class (philosophy); Modularity (biology); Type theory; Artificial intelligence; Algorithm; Inference","score_opus":0.10700548150797036,"score_gpt":0.2929933450937063,"score_spread":0.18598786358573594,"validation_status":"score_only:v0-immature-baseline","prediction":{"id":"W2397205586","genre_codex":"methods","genre_gemma":"empirical","domain_codex":null,"domain_gemma":null,"model_version":"metacan-v3-hybrid-931329e0061c","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.01562567,0.008623013,0.4623764,0.37726814,0.01841109,0.00010552423,0.00047159323,0.010744621,0.10637399],"genre_scores_gemma":[0.2889152,0.0065940144,0.36894867,0.16282949,0.010582153,0.00042634082,0.00049735844,0.017366681,0.14384012],"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","domain_scores_codex":[0.98444057,0.005876529,0.00062000484,0.0024005328,0.0057455865,0.0009167876],"domain_scores_gemma":[0.9648842,0.011297524,0.0016234253,0.011981957,0.007841688,0.0023711303],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.021357508,0.0008031654,0.0009800886,0.0013251777,0.0049436186,0.0059186365,0.0025275887,0.0051968694,0.011698014],"category_scores_gemma":[0.057476237,0.0009420849,0.0015002862,0.0012324308,0.011757741,0.017886678,0.005050947,0.012391088,0.007101975],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_system_candidate":false,"about_ca_system_consensus":false,"study_design_scores_codex":[0.0002403122,0.000045760382,0.002509741,0.00022391583,0.00004940776,0.00020810869,0.0017268463,0.00085256074,0.0022192162,0.69236434,0.18880796,0.1107519],"study_design_scores_gemma":[0.00009193879,0.00010745741,0.00046520546,0.00050151546,0.00004195662,0.00048471565,0.0005786498,0.002933506,0.0036011648,0.20292325,0.7881437,0.00012700277],"about_ca_topic_score_codex":0.004019396,"about_ca_topic_score_gemma":0.0053197923,"teacher_disagreement_score":0.021357508,"about_ca_system_score_codex":0.0030188004,"about_ca_system_score_gemma":0.0039701574,"threshold_uncertainty_score":0.11295062},"labels":[],"label_agreement":null}]}