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

Samuel Mimram

  1. A Categorical Theory of Patches
    2013/11/01 by Samuel Mimram, Cinzia Di Giusto · 2 voices · 2 citations
    Computer Science · #Logic, programming, and type systems #Software Engineering Research #Advanced Software Engineering Methodologies