itarticle go interface composing interfaces type conversion implementing with values vs .pointers best prcatices 0
itarticle metformin is associated with fewer major adverse cardiac events among patients with a new diagnosis of type 2 diabetes mellitus 0
itarticle Type I error & Type II error 与 false positives & false negativesType I error & Type II errorFalse positives & false negativesRateFalse positive paradox Type I error & Type II error False positives & false negatives Rate False positive paradox 0
itarticle parametricity – logical equivalence for polymorphic typesparametricity – logical equivalence for polymorphic types Extension to Polymorphic Types Logical Equivalence of Polymorphic Types Main Theorm Existential Type 0
itarticle polymorphic functional programmingpolymorphic functional programming System F (Girard|Reynolds) Polymorphism Existential Type 0