1. 6
    Typed, Template Coq: Certified Meta-Programming in Coq pdf slides formalmethods programming popl18.sigplan.org
    nickpsecurity avatar via nickpsecurity 6 months ago | cached | no comments

  1.