Browsing by Author "García, Ronald"

Now showing items 1-2 of 2

    • Abstracting Gradual Typing 
      García, Ronald; Clark, Alison M.; Tanter, Éric Pierre (Assoc Computing Machinery, 2016)
      Language researchers and designers have extended a wide variety of type systems to support gradual typing, which enables languages to seamlessly combine dynamic and static checking. These efforts consistently demonstrate ...
    • Propositional equality for gradual dependently typed programming 
      Eremondi, Joseph; García, Ronald; Tanter, Eric Pierre (ACM, 2022)
      Gradual dependent types can help with the incremental adoption of dependently typed code by providing a principled semantics for imprecise types and proofs, where some parts have been omitted. Current theories of gradual ...