{"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":"codex-gemma-dda1882f352a","genre_candidate":"empirical","genre_consensus":null,"domain_candidate":null,"domain_consensus":null,"prediction_status":"machine_predicted_unvalidated","genre_scores_codex":[0.055568263,0.0020482223,0.9194362,0.0013987032,0.004567828,0.0011751424,0.0000025827676,0.000942243,0.014860809],"genre_scores_gemma":[0.9736444,0.00001131169,0.024036398,0.00006189563,0.00024924852,0.00013622065,0.000028848062,0.000013950286,0.0018177765],"study_design_codex":"design_other","study_design_gemma":"not_applicable","domain_scores_codex":[0.99840945,0.000045551595,0.00034760655,0.00045524313,0.00028992188,0.00045219774],"domain_scores_gemma":[0.9993745,0.00010847251,0.000084394844,0.00027972314,0.000088165325,0.00006472005],"candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00040943138,0.00015829461,0.00022825536,0.00044409523,0.00014273865,0.00007074209,0.0003272274,0.00010400555,0.000010381612],"category_scores_gemma":[0.000043816864,0.00015793541,0.00008729073,0.0011820524,0.000077541925,0.00031773804,0.000089024084,0.00017354437,0.000029924311],"study_design_candidate":"design_other","study_design_consensus":null,"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.00006785062,0.00038702154,0.022814848,0.00003604639,0.000023166107,0.000029805675,0.00087610644,0.00038223993,0.00005957177,0.1002219,0.0007409024,0.87436056],"study_design_scores_gemma":[0.005765064,0.0016752373,0.15645704,0.000047285183,0.000021889224,0.00016796266,0.00029097998,0.030963711,0.00042823207,0.031703867,0.77106863,0.0014101258],"about_ca_topic_score_codex":0.0002869453,"about_ca_topic_score_gemma":0.00049533497,"teacher_disagreement_score":0.9180761,"about_ca_system_score_codex":0.00009098683,"about_ca_system_score_gemma":0.0000650613,"threshold_uncertainty_score":0.64404196},"labels":[],"label_agreement":null}]}