Search
 
   

3 results for "domain:in.tum.de"

  1. 2
    Refinement-based Verification of Imperative, Data Structures (2016) ☶ pdf programming in.tum.de
    nickpsecurity avatar via nickpsecurity 1 year ago | cached | no comments
  2. 1
    Extending Hindley-Milner Type Inference with Coercive Structural Subtyping pdf compsci in.tum.de
    SeanTAllen avatar via SeanTAllen 4 years ago | cached | no comments
  3. 15
    The Little Manual of API Design pdf programming in.tum.de
    SeanTAllen avatar via SeanTAllen 4 years ago | cached | 6 comments