{"id":"W2252374344","doi":"10.4230/lipics.ecoop.2015.76","title":"Concrete Types for TypeScript","year":2015,"lang":"en","type":"preprint","venue":"DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":36,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"Office of Naval Research; Agence Nationale de la Recherche; National Science Foundation","keywords":"TypeScript; JavaScript; Computer science; Programming language; Compiler; Toolchain; Code (set theory); Point (geometry); Software engineering; Set (abstract data type); Software","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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","scholarly_communication"],"consensus_categories":[],"category_scores_codex":[0.001515114,0.0007594835,0.001047588,0.0003121815,0.0003054985,0.001334045,0.002997849,0.0008296731,0.00001301091],"category_scores_gemma":[0.0002570007,0.0006537559,0.0005912696,0.0002303114,0.0001425247,0.0009882716,0.001950978,0.0007632383,0.0003266443],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002742905,"about_ca_system_score_gemma":0.0005166292,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006292231,"about_ca_topic_score_gemma":0.00002021562,"domain_scores_codex":[0.9959683,0.00006571057,0.001518316,0.0006517911,0.0006843397,0.001111491],"domain_scores_gemma":[0.9953571,0.0001601077,0.001072111,0.001823216,0.001185502,0.0004019774],"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.0002993068,0.0002111674,0.001169053,0.007804084,0.001429507,0.00001916823,0.02930563,0.0003396996,0.00003410902,0.7077809,0.2159067,0.03570061],"study_design_scores_gemma":[0.002976232,0.0005556004,0.00003647844,0.0001260036,0.0001254302,0.00005504891,0.0004943834,0.08525013,0.0002569795,0.04793543,0.8608833,0.001304987],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.00264724,0.0007595079,0.954626,0.0005740237,0.01261016,0.00547454,0.0007091339,0.0009291261,0.02167032],"genre_scores_gemma":[0.8593687,0.0001000998,0.1247612,0.002186619,0.002135508,0.002120957,0.003375987,0.0002254187,0.005725562],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8567214,"threshold_uncertainty_score":0.9997027,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04170734998501201,"score_gpt":0.2783358575516958,"score_spread":0.2366285075666838,"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."}}