itarticle recursive typesrecursive types Recursive Types in a Partial Language Bridging Recursive Types and Programs 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
itarticle python global interpreter lock (gil)python global interpreter lock (gil) A Performance Experiment About Python Threads GIL Behavior GIL Implementation Back to the Performance Experiment Multicore GIL Contention 0
