{"id":"W2163420823","doi":"10.1145/641888.641891","title":"PolyTOIL","year":2003,"lang":"en","type":"article","venue":"ACM Transactions on Programming Languages and Systems","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":55,"is_retracted":false,"has_abstract":true,"ca_institutions":"Memorial University of Newfoundland","funders":"Natural Sciences and Engineering Research Council of Canada; Williams College; National Science Foundation","keywords":"Computer science; Programming language; Type safety; Subtyping; Type theory; Type (biology); Operational semantics; Semantics (computer science); Model checking; Functional programming; Modular design; Theoretical computer science","routes":{"ca_aff":true,"ca_fund":true,"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.0007763747,0.000573089,0.0005302631,0.001281407,0.001095497,0.004045491,0.001912009,0.00075078,0.02638406],"category_scores_gemma":[0.002721034,0.0005992431,0.0008952952,0.001155137,0.001540371,0.004456149,0.003707022,0.002266221,0.007624687],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008653805,"about_ca_system_score_gemma":0.002162128,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001394284,"about_ca_topic_score_gemma":0.002091501,"domain_scores_codex":[0.9985077,0.0001586954,0.0001009923,0.0002775979,0.0007146441,0.0002403966],"domain_scores_gemma":[0.9987038,0.0003206934,0.0001625905,0.0003542191,0.0003185312,0.000139967],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.000771406,0.000183703,0.001978816,0.00135878,0.00005875332,0.0007095007,0.0008216961,0.004824202,0.02006549,0.5761161,0.1034352,0.2896764],"study_design_scores_gemma":[0.0000862454,0.0001233962,0.0007242267,0.0001920216,0.00004873474,0.001019735,0.00009299312,0.01636915,0.01364851,0.08610533,0.8815017,0.00008802984],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"software","genre_scores_codex":[0.0157621,0.0009022959,0.7627837,0.001356855,0.0009337157,0.0005319357,0.004393973,0.03111629,0.1822191],"genre_scores_gemma":[0.2358982,0.002383537,0.551721,0.003317054,0.0005921617,0.001997037,0.01474013,0.01080368,0.1785472],"genre_candidate":"software","genre_consensus":null,"teacher_disagreement_score":0.02638406,"threshold_uncertainty_score":0,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02191948800640703,"score_gpt":0.2704776963579844,"score_spread":0.2485582083515773,"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."}}