Categorical Semantics for Dynamically Typed Programming Languages 2017-05-01 :: HOPL, category theory, dynamic typing, gradual typing By: Max New