{"meta":{"page":1,"per_page":50,"max_per_page":100,"total":1,"total_is_capped":false,"direct_labels_cover":0,"predictions_cover":1,"direct_label_status":"direct model label, unvalidated","prediction_status":"machine_predicted_unvalidated (Codex and Gemma teacher distillation)","score_status":"score_only:v0-immature-baseline (scores rank; they never assert a category)","snapshot":{"source":"OpenAlex, pinned release, all 482 partitions","release":"2026-06-24","frame_built":"2026-07-12","author_layer_release":"2026-06-26"},"query_hash":"3cb961507e9c","filters":{"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"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","authors":[{"name":"Louis-Julien Guillemette","is_ca":true},{"name":"Stefan Monnier","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.1070054815079704,"gpt":0.2929933450937063,"spread":0.1859878635857359,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.02135751,0.0008031654,0.0009800886,0.001325178,0.004943619,0.005918636,0.002527589,0.005196869,0.01169801],"category_scores_gemma":[0.05747624,0.0009420849,0.001500286,0.001232431,0.01175774,0.01788668,0.005050947,0.01239109,0.007101975],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0030188,"about_ca_system_score_gemma":0.003970157,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004019396,"about_ca_topic_score_gemma":0.005319792,"domain_scores_codex":[0.9844406,0.005876529,0.0006200048,0.002400533,0.005745586,0.0009167876],"domain_scores_gemma":[0.9648842,0.01129752,0.001623425,0.01198196,0.007841688,0.00237113],"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.0002403122,0.00004576038,0.002509741,0.0002239158,0.00004940776,0.0002081087,0.001726846,0.0008525607,0.002219216,0.6923643,0.188808,0.1107519],"study_design_scores_gemma":[0.00009193879,0.0001074574,0.0004652055,0.0005015155,0.00004195662,0.0004847157,0.0005786498,0.002933506,0.003601165,0.2029233,0.7881437,0.0001270028],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01562567,0.008623013,0.4623764,0.3772681,0.01841109,0.0001055242,0.0004715932,0.01074462,0.106374],"genre_scores_gemma":[0.2889152,0.006594014,0.3689487,0.1628295,0.01058215,0.0004263408,0.0004973584,0.01736668,0.1438401],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.02135751,"threshold_uncertainty_score":0.1129506,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null}]}