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

Ramsay, Cameron

  1. Implicit Polarized F: local type inference for impredicativity
    2022/03/03 by Mercer, Henry, Ramsay, Cameron, Krishnaswami, Neel · 2 citations
    #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL)