Browsing by Author "d2043ae7-cd10-4819-b1d1-792d2b08d25e"

Now showing items 1-2 of 2

    • Abstracting gradual references 
      Toro Ipinza, Matías; Tanter, Éric Pierre (Elsevier, 2020)
      Gradual typing is an effective approach to integrate static and dynamic typing, which supports the smooth transition between both extremes via the imprecision of type annotations. Gradual typing has been applied in many ...
    • Abstracting gradual typing: Metatheory and applications 
      Toro Ipinza, Matías (Universidad de Chile, 2019)
      Han habido muchos enfoques para integrar tipado estático y dinámico. Uno de los enfoques más notables es el del tipado gradual. El enfoque clásico para diseñar lenguajes graduales es usualmente ad-hoc, pero existen ...