{"id":"W2625857119","doi":"10.1145/3133870","title":"A simple soundness proof for dependent object types","year":2017,"lang":"en","type":"preprint","venue":"Proceedings of the ACM on Programming Languages","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Soundness; Mathematical proof; Computer science; Simple (philosophy); Proof assistant; Scala; Type (biology); Proof of concept; Modular design; Calculus (dental); Core (optical fiber); Theoretical computer science; Algorithm; Programming language; Mathematics","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.005710641,0.001150711,0.001313828,0.00152157,0.002080049,0.003410772,0.00205387,0.002068349,0.0124542],"category_scores_gemma":[0.02060546,0.001497897,0.003963759,0.001101647,0.006724222,0.009402338,0.009122926,0.008711549,0.004752987],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001896072,"about_ca_system_score_gemma":0.004200058,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002478567,"about_ca_topic_score_gemma":0.002234793,"domain_scores_codex":[0.9938023,0.0007973062,0.000497175,0.001352874,0.002911608,0.0006386612],"domain_scores_gemma":[0.9867314,0.006424167,0.0003942878,0.002741648,0.00319952,0.0005090167],"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.0001463792,0.0001672629,0.001227886,0.0006405432,0.00007495599,0.0006018781,0.0009947785,0.003308635,0.02370136,0.8847488,0.0186792,0.06570832],"study_design_scores_gemma":[0.0002068509,0.0001570709,0.0009182118,0.0002398789,0.0001833125,0.001051792,0.0001712563,0.01984809,0.03679672,0.8121439,0.1281338,0.0001491028],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.006469809,0.0003111536,0.9674705,0.00258724,0.0009917625,0.0002052256,0.0004507706,0.003448189,0.0180653],"genre_scores_gemma":[0.216325,0.001069015,0.7441029,0.00560217,0.001117148,0.0007807398,0.0009969675,0.003329722,0.02667643],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.0124542,"threshold_uncertainty_score":0.04166347,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03382109932691566,"score_gpt":0.3052670116367823,"score_spread":0.2714459123098666,"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."}}