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

Jafery, Khurram A.

  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)