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

Gallois-Wong, Diane

  1. Beginner's Luck: A Language for Property-Based Generators
    2016/07/19 by Lampropoulos, Leonidas, Gallois-Wong, Diane, Hritcu, Catalin +3 · 2 citations
    #FOS: Computer and information sciences #Programming Languages (cs.PL)