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

Pham, Tuan-Hung

  1. Reasoning about Algebraic Data Types with Abstractions
    2016/03/29 by Pham, Tuan-Hung, Gacek, Andrew, Whalen, Michael W. · 1 citation
    #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL)