{"id":"W2949317307","doi":"10.1007/978-3-030-21500-2_6","title":"Sized Types for Low-Level Quantum Metaprogramming","year":2019,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Quantum Computing Algorithms and Architecture","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Metaprogramming; Programmer; Programming language; Subtyping; Context (archaeology); Quantum circuit; Theoretical computer science; Quantum; Quantum computer; Quantum network","routes":{"ca_aff":true,"ca_fund":false,"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.001107837,0.0008535607,0.0008267234,0.0008594602,0.00136298,0.003296189,0.002091052,0.001173385,0.01760559],"category_scores_gemma":[0.00354346,0.0009214517,0.001207698,0.001407637,0.002612307,0.007685327,0.002804583,0.004396536,0.004254088],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00136651,"about_ca_system_score_gemma":0.0006814775,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003466414,"about_ca_topic_score_gemma":0.0006235874,"domain_scores_codex":[0.9991314,0.0001884869,0.00008974981,0.0001259031,0.0003649402,0.0000994919],"domain_scores_gemma":[0.998439,0.0007472935,0.00005720727,0.0005750004,0.0001134859,0.00006801694],"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.00003181403,0.00001368385,0.00005588298,0.00008709419,0.00000624674,0.00002557212,0.00007887132,0.001360581,0.002095656,0.9622383,0.004039693,0.02996668],"study_design_scores_gemma":[0.00001076115,0.00001261092,0.00003481286,0.00003272191,0.00001039351,0.00005631673,0.00001790675,0.009963387,0.002602512,0.9591017,0.0281416,0.00001514144],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.008431887,0.001123585,0.9400094,0.0008200196,0.0008797724,0.00008559175,0.0002290906,0.002840417,0.04558033],"genre_scores_gemma":[0.2512155,0.001478624,0.675391,0.000839045,0.0006366223,0.000627579,0.0006447237,0.003904578,0.06526248],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01760559,"threshold_uncertainty_score":0.0588966,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02255635379182029,"score_gpt":0.2553420356084694,"score_spread":0.2327856818166491,"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."}}