1. 6
    HALO - Haskell to Logic through Denotational Semantics pdf compsci formalmethods haskell research.microsoft.com
    nickpsecurity avatar via nickpsecurity 1 year ago | cached | no comments

  1.