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

Hanus, Michael

  1. From Logic to Functional Logic Programs
    2022/05/13 by Michael Hanus, Hanus, Michael · 1 voice
    Computer Science · #cs.PL
  2. Combining Static and Dynamic Contract Checking for Curry
    2017/09/14 by Hanus, Michael · 1 citation
    #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL)