vix.ing · top · new · best · stats · spec

Garcia, Ronald

  1. Abstracting Gradual Typing Moving Forward: Precise and Space-Efficient (Technical Report)
    2020/10/27 by Schwerter, Felipe Bañados, Clark, Alison M., Jafery, Khurram A. +1 · 1 citation
    #FOS: Computer and information sciences #Programming Languages (cs.PL)
  2. Propositional Equality for Gradual Dependently Typed Programming
    2022/05/02 by Eremondi, Joseph, Garcia, Ronald, Tanter, Éric · 1 citation
    #FOS: Computer and information sciences #Programming Languages (cs.PL)