Search Results - CLAESSEN, Knen

  • Showing 1 - 1 results of 1
Refine Results
  1. 1
    Static Contract Checking for Haskell

    Static Contract Checking for Haskell by XU, Dana N, JONES, Simon Peyton, CLAESSEN, Knen

    Published in ACM SIGPLAN notices
    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:

Search Tools: